ANALYSIS OF PRODUCTION SCHEMATA BY PETRI NETS
Michel Hack · DSpace@MIT (Massachusetts Institute of Technology) · 1972
Petri nets provide a powerful graphical tool for representing and analyzing complex concurrent systems. Properties such as hang-up freeness, determinacy, conflict, concurrency and dependency, can be represented and studied. The precise relationship between structural and behavioral properties, and between local and global properties is not well-understood for the most general class of Petri Nets.