02589nam 2200565Ia 450 991048455110332120200520144314.03-642-04856-010.1007/978-3-642-04856-2(CKB)1000000000804460(SSID)ssj0000355645(PQKBManifestationID)11259260(PQKBTitleCode)TC0000355645(PQKBWorkID)10341288(PQKB)11351802(DE-He213)978-3-642-04856-2(MiAaPQ)EBC3064765(PPN)139962263(EXLCZ)99100000000080446020091009d2009 uy 0engurnn#008mamaatxtccrTransactions on petri nets and other models of concurrency III /editor-in-chief, Kurt Jensen ; guest editor, Jonathan Billington, Maciej Koutny1st ed. 2009.Berlin ;London Springer20091 online resource (XVII, 275 p.)Lecture notes in computer science,0302-9743 ;5800Selected conference papers, from various workshops.3-642-04854-4 Includes bibliographical references and index.Designing a Workflow System Using Coloured Petri Nets -- From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems -- Soundness of Workflow Nets with Reset Arcs -- Parameterised Coloured Petri Net Channel Models -- On Modelling and Analysing the Dynamic MANET On-Demand (DYMO) Routing Protocol -- Modelling Mobile IP with Mobile Petri Nets -- A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example -- The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection -- Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language -- On Bisimulation Theory in Linear Higher-Order ?-Calculus.Lecture notes in computer science ;5800.Parallel processing (Electronic computers)Petri netsParallel processing (Electronic computers)Petri nets.511.35Billington Jonathan1237951Jensen K(Kurt),1950-1237950Koutny Maciej1958-1223195MiAaPQMiAaPQMiAaPQBOOK9910484551103321Transactions on Petri Nets and Other Models of Concurrency III2873316UNINA