Ch5: Software Specification. 1 Petri Nets Introduced by C. Adams Petri in 1960. Widely used in the modeling and analysis of computer systems. Basic.
Shahram Esmaeilsabzali Bernd Fischer