01131nam2 2200349 450 99000340796020331620100604125223.0978-3-642-00898-6000340796USA01000340796(ALEPH)000340796USA0100034079620100604d2009----km-y0itay50------baengDEa---||||001yyTransactions on petri nets and other models of concurrency IIIKurt Jensen...[et al.] (Eds.)Berlin [etc.]Springercopyr. 2009XIII, 274 p.ill.24 cmLecture notes in computer scienceJournal subline58000010003149602001Lecture notes in computer scienceIntelligenza artificialeBNCF006.3JENSEN,KurtITsalbcISBD990003407960203316001 LNCS 580039029/CBS00100335495BKSCIANGELA9020100604USA011252Transactions on Petri Nets and Other Models of Concurrency III773681UNISA