Petri Nets: Central Models and Their Properties

Petri Nets represent a long and sustained effort· to develop concepts, theories and tools to aid in design and analysis of concurrent systems. They are used in many areas of computer science including software engineering, data base and in­ formation systems, computer architecture and operating systems, communication protocols and computer networks, process control, and socio-technical systems suc...