LEADER 01129nam2-2200349---450- 001 990003333980203316 005 20091015095852.0 010 $a978-3-540-89286-1 035 $a000333398 035 $aUSA01000333398 035 $a(ALEPH)000333398USA01 035 $a000333398 100 $a20091015d2008----km-y0itay50------ba 101 $aeng 102 $aDE 105 $aa---||||001yy 200 1 $aTransactions on Petri nets and other models of concurrency I$fKurt Jensen...[et al.] (Eds.) 210 $aBerlin [etc.]$cSpringer$dcopyr. 2008 215 $aXVIII, 249 p.$cill.$d24 cm 225 2 $aLecture notes in computer science$iJournal subline$v5100 410 1$1001000314960$12001$aLecture notes in computer science$v5100 606 0 $aIntelligenza artificiale 676 $a006.3 702 1$aJENSEN,$bKurt 801 0$aITA$bsalbc$gISBD 912 $a990003333980203316 951 $a001 LNCS 5100$b37844/CBS$c001$d00218144 959 $aBK 969 $aSCI 979 $aRSIAV7$b90$c20091015$lUSA01$h0958 996 $aTransactions on Petri Nets and Other Models of Concurrency I$9774078 997 $aUNISA