Normal view MARC view ISBD view

Transactions on Petri Nets and Other Models of Concurrency III [electronic resource] / edited by Kurt Jensen, Jonathan Billington, Maciej Koutny. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - XVII, 275 p. online resource. - Lecture Notes in Computer Science, 5800 0302-9743 ; . - Lecture Notes in Computer Science, 5800 .

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.

ISBN: 9783642048562

Standard No.: 10.1007/978-3-642-04856-2 doi

Subjects--Topical Terms:
Computer science.
Software engineering.
Information theory.
Computer simulation.
Computer Science.
Models and Principles.
Software Engineering.
Programming Techniques.
Mathematical Logic and Formal Languages.
Theory of Computation.
Simulation and Modeling.

LC Class. No.: QA75.5-76.95

Dewey Class. No.: 005.743