000			00583nam a22001457a 4500
999			_c44663 _d44663
020			_a9783642332777 (hb)
082			_a511.35 _bREI
100			_aReisig, wolfgang
245			_aUnderstanding petri nets _b: modeling techniques, analysis methods, case studies
260			_aBerlin _bSpringer _c2013
300			_axix. 230 p. _b: ill., Col., _c; 24cm.
500			_aIncludes index and bibliography.
650			_aMathematics _aPetri nets _vModeling techniques _vSystem analysis _vElementary system _vState properties _vMarked graphs _vAsynchronous hardware _vCase studies _vRICAS
942			_cBK