The following pages link to (Q4417949):
Displaying 8 items.
- M-nets: a survey (Q1006339) (← links)
- Branching processes of Petri nets (Q1175711) (← links)
- Symbolic unfolding of parametric stopwatch Petri nets (Q2248088) (← links)
- Branching Processes of General Petri Nets (Q3011885) (← links)
- Planning without state space explosion: Petri net to Markov decision process (Q3393989) (← links)
- Directed Unfolding of Petri Nets (Q3599218) (← links)
- Taking complete finite prefixes to high level, symbolically (Q6535189) (← links)
- Taking complete finite prefixes to high level, symbolically (Q6622143) (← links)