The following pages link to (Q5216152):
Displaying 21 items.
- Analysis of Petri nets by partitioning: Splitting transitions (Q751853) (← links)
- Performance analysis using Petri nets (Q1206477) (← links)
- Analysis of the fault tolerance of complex systems by extensions of Petri nets (Q1316289) (← links)
- Lifted structural invariant analysis of Petri net product lines (Q2096429) (← links)
- Synthesis of inhibitor-reset Petri nets: algorithmic and complexity issues (Q2165238) (← links)
- Factorisation of Petri net solvable transition systems (Q2280180) (← links)
- State space analysis of Petri nets with relation-algebraic methods (Q2518607) (← links)
- (Q2987116) (← links)
- (Q3377337) (← links)
- (Q3805918) (← links)
- PETRI NETS AND STEP TRANSITION SYSTEMS (Q4032923) (← links)
- (Q4298229) (← links)
- On the Analysis of Petri Nets and their Synthesis from Process Languages (Q4462676) (← links)
- Understanding Petri Nets (Q4911790) (← links)
- Target-oriented Petri Net Synthesis (Q4988954) (← links)
- Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis (Q5025057) (← links)
- Symbolic and Structural Model-Checking (Q5025068) (← links)
- Some Basic Techniques Allowing Petri Net Synthesis: Complexity and Algorithmic Issues (Q5044399) (← links)
- A New Property of Choice-Free Petri Net Systems (Q5100751) (← links)
- Structural Reductions Revisited (Q5100759) (← links)
- Analysis and application of transition systems based on Petri nets and relation matrices to business process management (Q6534515) (← links)