The following pages link to (Q4207590):
Displaying 8 items.
- Reachability trees for high-level Petri nets (Q579940) (← links)
- Petri nets and algebraic specifications (Q804305) (← links)
- Modeling production rules by means of predicate transition networks (Q1058869) (← links)
- A symbolic reachability graph for coloured Petri nets (Q1392273) (← links)
- Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs (Q2894567) (← links)
- (Q3694702) (← links)
- Parameterized reachability trees for algebraic Petri nets (Q5096373) (← links)
- Siphons, traps and high-level nets with infinite color domains (Q6487380) (← links)