Girault, Claude Petri nets for systems engineering a guide to modeling, verification, and applications - New York Springer Publishing Company - Soft Binding xvi 607 English ISBN: 978-3-642-07447-9 Subjects--Topical Terms: --Petri nets, systems engineering Dewey Class. No.: 004.0151 -P