Practice of Petri Nets in Manufacturing

the long version

This book introduces the basic theory of Petri nets and presents the most important of their properties relevant to manufacturing systems. The authors demonstrate the use of Petri nets in the preliminary design, that is, functional specification, modeling and evaluation, of manufacturing systems. The integration of Petri nets and their use in a modular approach for systems design are described in detail. An important chapter of the book is devoted to the application of Petri nets in the design and analysis of manufacturing information systems. This work will be invaluable to design, system and manufacturing engineers and to researchers involved in the specification and analysis of manufacturing systems.