Title: A primer in Petri net design
First published: 1992
Subjects: Petri nets, System design
LC classification: QA76.9.S88 R45 1992