Custom cover image
Custom cover image

Transactions on Petri Nets and Other Models of Concurrency III / edited by Kurt Jensen, Jonathan Billington, Maciej Koutny

By: Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Lecture notes in computer science ; 5800Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Description: Online-Ressource (digital)ISBN:
  • 9783642048562
Subject(s): Additional physical formats: 9783642048548 | Buchausg. u.d.T.: Transactions on petri nets and other models of concurrency ; 3. Berlin : Springer, 2009. XIII, 274 S.MSC: MSC: *68-06 | 68Q85 | 00B15RVK: RVK: SS 4800LOC classification:
  • QA75.5-76.95
DOI: DOI: 10.1007/978-3-642-04856-2Online resources: Summary: 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.PPN: PPN: 1648675557Package identifier: Produktsigel: ZDB-2-SCS | ZDB-2-LNC | ZDB-2-SEB | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-SEB
No physical items for this record