000 00734nam a2200229Ia 4500
003 OSt
005 20230403173304.0
008 180620b2009 xxu||||| |||| 00| 0 eng d
020 _a9781848210790
040 _cJUIT, Solan
082 _a511.35 DIA
100 _aDiaz, Michel
245 _aPetri Nets: fundamental models, verification and applications
_cEdited by Michel Diaz
260 _aNew Jersey
_bJohn Wiley & Sons
_c2009
300 _axxv, 585p.
505 _a<p>Contents:</p> <p>1. Basic Semantics
650 _aSystem design
650 _aParallel processing (Electronic computer)
650 _aElectronic data processing -- Distributed orocessing
906 _a8584a5a5ac1049190189f8ad3701b806
942 _2ddc
_cRB
999 _c41302
_d41302