The following pages link to (Q4507821):
Displayed 11 items.
- Decidability and complexity of Petri nets with unordered data (Q554219) (← links)
- Modelling of batch production systems using Petri nets with dynamic tokens (Q1765707) (← links)
- Automatic construction of systems of distributed components from nested Petri nets models (Q2216722) (← links)
- Nested-unit Petri nets (Q2423743) (← links)
- Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets (Q2822661) (← links)
- Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets (Q2941150) (← links)
- Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication (Q3636840) (← links)
- Hornets: Nets within Nets Combined with Net Algebra (Q3636848) (← links)
- On the Qualitative Analysis of Conformon P Systems (Q5191162) (← links)
- Nested Petri Nets for Adaptive Process Modeling (Q5452192) (← links)
- Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations (Q5870852) (← links)