Title: Petri net, theory and applications
Subjects: Petri nets