000 00497nam a2200181Ia 4500
005 20250703113142.0
008 250619s9999||||xx |||||||||||||| ||und||
020 _a3540555978
_cD120
040 _aMAIN
041 _aEnglish
082 _a004.67
_bJEN
100 _aJensen, Kurt
245 0 _aColoured petri nets
_b: basic concepts, analysis methods and practical use
260 _aLondon
_b; Springer-Verlag
_c, 1992
300 _ax,234p.
_b, V.1
650 _aComputer Science
942 _cBK
999 _c123985
_d123985