Pages that link to "Item:Q4162494"
From MaRDI portal
The following pages link to Structural properties of petri nets (Q4162494):
Displaying 10 items.
- Fair relation and modified synchronic distances in a Petri net (Q1067788) (← links)
- The complexity of problems involving structurally bounded and conservative Petri nets (Q1183417) (← links)
- Net operations (Q1337645) (← links)
- Checking deadlock-freedom of parametric component-based systems (Q1996857) (← links)
- Verification of component-based systems with recursive architectures (Q2699967) (← links)
- On the Reversibility of Live Equal-Conflict Petri Nets (Q2941153) (← links)
- Compositional Verification for Component-Based Systems and Application (Q3540064) (← links)
- Structural Invariants for the Verification of Systems with Parameterized Architectures (Q5039511) (← links)
- Exhibition of a Structural Bug with Wings (Q5166768) (← links)
- On the Reversibility of Well-Behaved Weighted Choice-Free Systems (Q5166772) (← links)