Pages that link to "Item:Q1647774"
From MaRDI portal
The following pages link to Factorisation of transition systems (Q1647774):
Displaying 8 items.
- A decomposition theorem for finite persistent transition systems (Q1015394) (← links)
- Efficient synthesis of weighted marked graphs with circular reachability graph, and beyond (Q2032839) (← links)
- Factorisation of Petri net solvable transition systems (Q2280180) (← links)
- Decomposition and factorization of chemical reaction transducers (Q2422041) (← links)
- Multiplicative transition systems (Q2895798) (← links)
- (Q3692898) (← links)
- (Q4353639) (← links)
- Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis (Q5025057) (← links)