Pages that link to "Item:Q4162494"
From MaRDI portal
The following pages link to Structural properties of petri nets (Q4162494):
Displaying 16 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)
- (Q3431091) (← links)
- Compositional Verification for Component-Based Systems and Application (Q3540064) (← links)
- Elasticity and Petri Nets (Q3599221) (← links)
- (Q4208324) (← links)
- Methods for behavior descriptions of structure-complex Petri nets (Q4915283) (← links)
- Properties of Plain, Pure, and Safe Petri Nets (Q4994075) (← 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)
- (Q5506396) (← links)