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)

Property Directed Reachability for Generalized Petri Nets

von Amat, Nicolas
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 1 (2022)