01321nam a2200325Ia 4500001001200000003000800012006001900020007001500039008004100054010001700095020001800112040002100130035002100151050002800172082001600200130003500216245011700251260006500368300002400433504005100457533015200508650005600660650004700716650001900763650001600782655002900798700002500827710001700852856012600869ebr10361011CaPaEBRm        u        cr cn|||||||||090424s2009    enka    sb    001 0 eng d  z  2009017412  z9781848210790  aCaPaEBRcCaPaEBR  a(OCoLC)59329562414aQA76.9.D5bR4713 2009eb04a511.3/52220 aR�eseaux de Petri.lEnglish.10aPetri netsh[electronic resource] :bfundamental models, verification and applications /cedited by Michel Diaz.  aLondon :bISTE ;aHoboken, NJ :bJohn Wiley and Sons,c2009.  axxv. 585 p. :bill.  aIncludes bibliographical references and index.  aElectronic reproduction.bPalo Alto, Calif. :cebrary,d2010.nAvailable via World Wide Web.nAccess may be limited to ebrary affiliated libraries. 0aElectronic data processingxDistributed processing. 0aParallel processing (Electronic computers) 0aSystem design. 0aPetri nets. 7aElectronic books.2local1 aDiaz, Michel,d1945-2 aebrary, Inc.40uhttp://site.ebrary.com/lib/rucke/Doc?id=10361011zAn electronic book accessible through the World Wide Web; click to view