The Complexity of Boolean State Separation

von Tredup, Ronny
Veröffentlicht in ICTAC (17. : 2020 : Online) Theoretical aspects of computing - ICTAC 2020 (2020)

Occupancy Number Restricted Boolean Petri Net Synthesis: A Fixed-Parameter Algorithm

von Erofeev, Evgeny
Veröffentlicht in ICTAC (17. : 2020 : Online) Theoretical aspects of computing - ICTAC 2020 (2020)

On the Parameterized Complexity of d-Restricted Boolean Net Synthesis

von Tredup, Ronny
Veröffentlicht in TAMC (16. : 2020 : Online) Theory and applications of models of computation (2020)

Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach

von Devillers, Raymond
Veröffentlicht in International Conference on Application and Theory of Petri Nets and Concurrency (39. : 2018 : Bratislava) Transactions on Petri Nets and Other Models of Concurrency XIV (2020)

A New Property of Choice-Free Petri Net Systems

von Best, Eike
Veröffentlicht in PETRI NETS (41. : 2020 : Online) Application and theory of petri nets and concurrency (2020)

Characterising Petri net solvable binary words : Bericht

von Best, Eike
Veröffentlicht 2016