Title: Timed Petri nets
First published: 1998
Subjects: Petri nets
LC classification: QA267 .W36 1998