The following pages link to (Q5216152):
Displayed 8 items.
- Lifted structural invariant analysis of Petri net product lines (Q2096429) (← links)
- Synthesis of inhibitor-reset Petri nets: algorithmic and complexity issues (Q2165238) (← 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)