Pages that link to "Item:Q5452192"
From MaRDI portal
The following pages link to Nested Petri Nets for Adaptive Process Modeling (Q5452192):
Displayed 5 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)
- Complexity Results for Elementary Hornets (Q5300870) (← links)
- Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations (Q5870852) (← links)