Pages that link to "Item:Q5452192"
From MaRDI portal
The following pages link to Nested Petri Nets for Adaptive Process Modeling (Q5452192):
Displaying 10 items.
- Can I find a partner? Undecidability of partner existence for open nets (Q975497) (← links)
- Restricting \textsc{Hornets} to support self-adaptive systems (Q1662544) (← links)
- Cellular adaptive Petri net based on learning automata and its application to the vertex coloring problem (Q1686849) (← links)
- Boundedness of adaptive nets is decidable (Q1944126) (← links)
- Automatic construction of systems of distributed components from nested Petri nets models (Q2216722) (← links)
- Nested-unit Petri nets (Q2423743) (← links)
- Nested Petri nets: Multi-level and recursive systems. (Q2775865) (← 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)