Jensen, Kurt
Coloured petri nets : basic concepts, analysis methods and practical use. Volume 1
- 2nd ed.
- Berlin: Springer-Verlag, 1997
- xii, 234 p.; ill., index: 24 cm.
- Monographs in theoretical computer science .
3540609431 (hbk)
Petri nets
511.321 / JEN