MPG.eBooks - Table of Contents: Transactions on Petri Nets and Other Models of Concurrency III

Read Now

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg Springer Berlin Heidelberg 2009, 2009
Edition:	1st ed. 2009
Series:	Transactions on Petri Nets and Other Models of Concurrency
Subjects:	Models Of Computation Software Engineering Programming Techniques Computer Science Computer Programming Mathematical Logic Formal Languages And Automata Theory Machine Theory Theory Of Computation Mathematical Logic And Foundations
Online Access:	https://doi.org/10.1007/978-3-642-04856-2?nosfx=y
Collection:	Springer eBooks 2005- - Collection details see MPG.ReNa

Table of Contents:

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