Petri Nets as Token Objects

DOI10.1007/3-540-69108-1_1OpenAlexW146979983MaRDI QIDQ5055702

Ruediger Valk

Publication date: 9 December 2022

Published in: Application and Theory of Petri Nets 1998 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-69108-1_1

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (10)

Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets ⋮ Workflow Management Principles for Interactions Between Petri Net-Based Agents ⋮ Nested-unit Petri nets ⋮ Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework ⋮ Decidability and complexity of Petri nets with unordered data ⋮ An uncoordinated asynchronous checkpointing model for hierarchical scientific workflows ⋮ Relating state-based and process-based concurrency through linear logic (full-version) ⋮ Formal specification and verification of decentralized self-adaptive systems using symmetric nets ⋮ Coding Mobile Synchronizing Petri Nets into Rewriting Logic ⋮ Model checking of synchronized domain-specific multi-formalism models using high-level Petri nets

Cites Work

• From Coloured Petri Nets to Object Petri Nets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Petri Nets as Token Objects