LEADER 01131nam2 2200349 450 001 990003407960203316 005 20100604125223.0 010 $a978-3-642-00898-6 035 $a000340796 035 $aUSA01000340796 035 $a(ALEPH)000340796USA01 035 $a000340796 100 $a20100604d2009----km-y0itay50------ba 101 $aeng 102 $aDE 105 $aa---||||001yy 200 1 $aTransactions on petri nets and other models of concurrency III$fKurt Jensen...[et al.] (Eds.) 210 $aBerlin [etc.]$cSpringer$dcopyr. 2009 215 $aXIII, 274 p.$cill.$d24 cm 225 2$aLecture notes in computer science$iJournal subline$v5800 410 0$1001000314960$12001$aLecture notes in computer science 606 0 $aIntelligenza artificiale$2BNCF 676 $a006.3 702 1$aJENSEN,$bKurt 801 0$aIT$bsalbc$gISBD 912 $a990003407960203316 951 $a001 LNCS 5800$b39029/CBS$c001$d00335495 959 $aBK 969 $aSCI 979 $aANGELA$b90$c20100604$lUSA01$h1252 996 $aTransactions on Petri Nets and Other Models of Concurrency III$9773681 997 $aUNISA