000 00451 a2200157 4500
020 _a3540412174
082 _a620.0011
_bGIR
090 _c8898
_d12331
100 _aGirault, Claude
245 _aPetri nets for systems engineering
_ba guide modeling verification and applications
260 _aNew York
_bSpringer
_c2003
_g2003
300 _axvi, 607p.
_c24cm.
650 _aEngineering and allied operations
700 _aValk, Rudiger
942 _cSR
999 _c37532
_d37532