Pages that link to "Item:Q2280180"
From MaRDI portal
The following pages link to Factorisation of Petri net solvable transition systems (Q2280180):
Displaying 4 items.
- Factorisation of transition systems (Q1647774) (← links)
- Efficient synthesis of weighted marked graphs with circular reachability graph, and beyond (Q2032839) (← links)
- Target-oriented Petri Net Synthesis (Q4988954) (← links)
- Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis (Q5025057) (← links)