Title: Petri nets
First published: 1985
Subjects: Petri nets
LC classification: QA267 .R4513 1985