Transactions on Petri Nets and Other Models of Concurrency III

Front Cover
Springer Science & Business Media, Nov 11, 2009 - Mathematics - 275 pages

This volume contains papers from the 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency and from the 8th and 9th Workshops and Tutorials on Practical Use of Coloured Petri Nets and the CPN Tools.

 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Selected pages

Contents

Designing a Workflow System Using Coloured Petri Nets
1
From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems
25
Soundness of Workflow Nets with Reset Arcs
50
Parameterised Coloured Petri Net Channel Models
71
On Modelling and Analysing the Dynamic MANET OnDemand DYMO Routing Protocol
98
Modelling Mobile IP with Mobile Petri Nets
127
Application to an Industrial Example
159
Caching Strategies and Extension with Delayed Duplicate Detection
189
Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language
216
On Bisimulation Theory in Linear HigherOrder πCalculus
244
Author Index
275
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information