Processes of Place/Transition-Nets

Translation of modified predicate transition nets models of cummunication protocols into simulation programs

WSC '86 Proceedings of the 18th conference on Winter simulation

Semantics of petri nets: a comparison

Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come

Complete Process Semantics of Petri Nets

Fundamenta Informaticae

Unifying Petri Net Semantics with Token Flows

PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets

Hasse Diagram Generators and Petri Nets

PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets

Complete process semantics for inhibitor nets

ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency

Towards synthesis of petri nets from scenarios

ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency

Can i execute my scenario in your net? viptool tells you!

ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency

Can i execute my scenario in your net?

ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets

Complete Process Semantics of Petri Nets

Fundamenta Informaticae

Faster verification of partially ordered runs in petri nets using compact tokenflows

PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency