1. Petri Nets: Properties, Analysis and Applications;Murata,1989
2. Petri Net Theory and the Modeling of Systems;Peterson,1981
3. Petri Nets: An Introduction;Reisig,1985
4. Coloured Petri nets: A tool for modelling, validation and simulation of FMS;Alla,1986
5. SAGE: A Decision Support System for the Sequencing of Operations within a Robotic Workcell;Freeman;Decis. Support Syst.,1988