The following pages link to (Q3928257):
Displaying 6 items.
- Reachability trees for high-level Petri nets (Q579940) (← links)
- Petri nets and algebraic specifications (Q804305) (← links)
- Petri nets with individual tokens (Q1083212) (← links)
- Coloured Petri nets and the invariant-method (Q1159464) (← links)
- Petri nets for modeling of dynamic systems -- a survey (Q1317176) (← links)
- Extended colored Petri net: An efficient tool for analyzing concurrent systems (Q2638806) (← links)