00451 a2200157 4500 3540412174 620.0011 GIR 8898 12331 Girault, Claude Petri nets for systems engineering a guide modeling verification and applications New York Springer 2003 2003 xvi, 607p. 24cm. Engineering and allied operations Valk, Rudiger SR 37532 37532 0 0 0 0 SRC MAIN MAIN REF 2008-10-17 0 620.0011GIR 15497 2017-09-01 00:00:00 0.00 2016-10-31 SR