Transactions on Petri Nets and Other Models of Concurrency III

Inhaltsverzeichnis

• 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.