The following pages link to (Q3694702):
Displaying 8 items.
- Symmetries in timed continuous Petri nets (Q547881) (← links)
- Reachability trees for high-level Petri nets (Q579940) (← links)
- Mathematical programming approach to the Petri nets reachability problem (Q856211) (← links)
- Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems (Q916414) (← links)
- On reachability graphs of Petri nets (Q1860056) (← links)
- Solving high-level Petri games (Q2182671) (← links)
- (Q4207590) (← links)
- Parameterized reachability trees for algebraic Petri nets (Q5096373) (← links)