Semantik
2012
Petri Net Primer
2024
Semantic independence
1987
Concurrent Behaviour
1984
Free Choice Systems have Home States
1983
D-Continuity
Applications and Theory of Petri Nets 2003
2003
Application and Theory of Petri Nets and Concurrency
2017
Nonsequential processes
1988
Petri Net Algebra
2001
