000 00696nam a2200241 4500
001 9686
010 _a3-540-58276-2
_bencadernado
_dEsc 8 980$
090 _a9686
100 _a19950102d1995 k||y0pory50 ba
101 0 _aeng
102 _aDE
200 1 _aColoured Petri nets
_ebasic concepts, analysis methods and practical use
_fKurt Jensen
210 _aBerlin
_aHeidelberg, DE
_cSpringer-Verlag
_dcop. 1995
215 _aVIII, 174 p.
_cil.
_d24 cm
225 2 _aMonographs in Theoretical Computer Science
_iAn EATCS series
606 _aRedes de Petri
680 _aQA267
700 1 _aJensen
_bKurt
801 0 _gRPC
_aPT
942 _2lcc
_cA
_n0