000			00572nam a2200193Ia 4500
008			161214s9999 xx 000 0 und d
020			_a3540412174 _c(hbk)
082			_223 _a621.392 _bGIR
100			_aGirault, Claude
245		0	_aPetri Nets For Systems Engineering
260			_aNew York: _bSpringer-Verlag, _c2003
300			_a607 p.; _bIllus. Index.: _c24 cm.
650			_aModeling and Analysis Techniques
650			_aTechniques
650			_aTele Communications Engineering
650			_aTelecommunication Systems
650			_aVerification
942			_2ddc _cBK
999			_c6132 _d6132