Petri Nets as Token Objects
From MaRDI portal
Publication:5055702
DOI10.1007/3-540-69108-1_1OpenAlexW146979983MaRDI QIDQ5055702
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
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
This page was built for publication: Petri Nets as Token Objects