by Jonathan Billington, Grzegorz Rozenberg
Petri nets offer a mathematically defined technique for the specification, design, analysis, verification and performance evaluation of concurrent distributed systems. They offer not only precise s…