The following pages link to (Q5422282):
Displaying 6 items.
- Boundedness of adaptive nets is decidable (Q1944126) (← links)
- Automatic construction of systems of distributed components from nested Petri nets models (Q2216722) (← links)
- Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets (Q2822661) (← links)
- Decidability of $$k$$-Soundness for Workflow Nets with an Unbounded Resource (Q3452466) (← links)
- Hornets: Nets within Nets Combined with Net Algebra (Q3636848) (← links)
- Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations (Q5870852) (← links)