The following pages link to (Q4417950):
Displaying 5 items.
- Symmetries in timed continuous Petri nets (Q547881) (← links)
- Lifted structural invariant analysis of Petri net product lines (Q2096429) (← links)
- A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking (Q5044397) (← links)
- Automatic Decomposition of Petri Nets into Automata Networks – A Synthetic Account (Q5100747) (← links)
- Petri Net Reductions for Counting Markings (Q5883572) (← links)
