| 000 | 00644nam a2200205 i 4500 | ||
|---|---|---|---|
| 001 | 1363 | ||
| 005 | 20200701185531.0 | ||
| 010 | _a3-540-41217-4 | ||
| 100 | _a20031029 2003 k y0pory50 01 ba | ||
| 200 | 1 |
_aPetri Nets for systems engineering _ea guide to modeling, verification and applications _fClaude Girault, Rüdiger Valk |
|
| 210 |
_aBerlin _cSpringer _d2003 |
||
| 215 |
_aXVI, 607 p. _cil. |
||
| 606 |
_930241 _aMétodos gráficos de computação |
||
| 675 | _a519.67 | ||
| 606 |
_928807 _aRedes de Petri |
||
| 700 | 1 |
_aGIRAULT _bClaude _97402 |
|
| 701 |
_930540 _aVALK _bRüdiger |
||
| 852 |
_aISEL _bBiblioteca _gGIR. _j519.67 |
||
| 090 | _a1363 | ||
| 942 | _cMO | ||