Application and Theory of Petri Nets and ConcurrencyRyszard Janicki, Natalia Sidorova, Thomas Chatain₹4,252