000 00800nam a2200241 i 4500
001 2166
005 20200703174637.0
010 _a3-540-58276-2
100 _a20040322 1997 k y0pory50 01 ba
200 1 _aColoured Petri Nets
_ebasic concepts, analysis methods and practical use
_evolume 2
_fKurt Jensen
205 _a2nd ed.
210 _aBerlin
_cSpringer
_d1997
215 _aX, 174 p.
_cil.
225 1 _aMonographs in Theoretical Computer Science
_ean EATCS Series
606 _930241
_aMétodos gráficos de computação
606 _919670
_aMétodos de análise
606 _928807
_aRedes de Petri
675 _a519.67
700 1 _aJENSEN
_bKurt
_97533
852 _aISEL
_bBiblioteca
_gJEN.
_j519.67
856 _u https://www.springer.com/gp/book/9783540582762
_zAcesso online
090 _a2166
942 _cMO