The following pages link to Petri Nets as Token Objects (Q5055702):
Displaying 10 items.
- Decidability and complexity of Petri nets with unordered data (Q554219) (← links)
- Relating state-based and process-based concurrency through linear logic (full-version) (Q731895) (← links)
- An uncoordinated asynchronous checkpointing model for hierarchical scientific workflows (Q980986) (← links)
- Formal specification and verification of decentralized self-adaptive systems using symmetric nets (Q2063102) (← links)
- Model checking of synchronized domain-specific multi-formalism models using high-level Petri nets (Q2117173) (← links)
- Nested-unit Petri nets (Q2423743) (← links)
- Coding Mobile Synchronizing Petri Nets into Rewriting Logic (Q2864520) (← links)
- Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets (Q2941150) (← links)
- Workflow Management Principles for Interactions Between Petri Net-Based Agents (Q2941160) (← links)
- Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework (Q4923514) (← links)
