The following pages link to (Q3774955):
Displayed 7 items.
- Elementary transition systems (Q1190485) (← links)
- An algebraic characterisation of elementary net system (observable) state space (Q1203118) (← links)
- Spreading nets: a uniform approach to unfoldings (Q1987731) (← links)
- Arc-typed Petri Nets (Q4633168) (← links)
- A class of composable high level Petri nets (Q5096360) (← links)
- Merging Relations: A Way to Compact Petri Nets’ Behaviors Uniformly (Q5739008) (← links)
- Algebraic nets with flexible arcs (Q5958125) (← links)