This book offers a clear, thorough introduction to Petri nets.
The explanations are supported throughout with fully integrated graphical illustrations, with only the analysis and verification presented in a formal manner.
Springer-verlag Berlin And Heidelberg Gmbh & Co. K Understanding petri nets. modeling techniques, analysis methods, case studies, hardback/wolfgang reisig
