Transactions on Petri Nets and Other Models of Concurrency III

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Jensen, Kurt (Επιμελητής έκδοσης), Billington, Jonathan (Επιμελητής έκδοσης), Koutny, Maciej (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
• Σειρά: Lecture Notes in Computer Science, 5800
• Θέματα: Mathematics.; Computer programming.; Software engineering.; Computers.; Mathematical logic.; Mathematical Logic and Foundations.; Models and Principles.; Software Engineering.; Programming Techniques.; Mathematical Logic and Formal Languages.; Theory of Computation.

Πίνακας περιεχομένων:

• 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.