TY  - BOOK
AU  - Jensen,Kurt
AU  - Billington,Jonathan
AU  - Koutny,Maciej
ED  - SpringerLink (Online service)
TI  - Transactions on Petri Nets and Other Models of Concurrency III
T2  - Lecture Notes in Computer Science,
SN  - 9783642048562
AV  - QA75.5-76.95 
U1  - 005.743 23
PY  - 2009///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Information theory
KW  - Computer simulation
KW  - Computer Science
KW  - Models and Principles
KW  - Software Engineering
KW  - Programming Techniques
KW  - Mathematical Logic and Formal Languages
KW  - Theory of Computation
KW  - Simulation and Modeling
N1  - 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
UR  - http://dx.doi.org/10.1007/978-3-642-04856-2
ER  -