Pages that link to "Item:Q2894293"
From MaRDI portal
The following pages link to TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets (Q2894293):
Displaying 15 items.
- TAPAAL (Q13691) (← links)
- Stubborn set reduction for timed reachability and safety games (Q832029) (← links)
- Stubborn versus structural reductions for Petri nets (Q1633343) (← links)
- Automatic synthesis of transiently correct network updates via Petri games (Q2117163) (← links)
- Automata-driven partial order reduction and guided search for LTL model checking (Q2152647) (← links)
- LTL under reductions with weaker conditions than stutter invariance (Q2165225) (← links)
- Kaki: concurrent update synthesis for regular policies via Petri games (Q2165522) (← links)
- Strong behavioral similarities in timed-arc Petri nets (Q2335136) (← links)
- TCTL-preserving translations from timed-arc Petri nets to networks of timed automata (Q2453531) (← links)
- Improvements in unfolding of colored Petri nets (Q2695488) (← links)
- Soundness of Timed-Arc Workflow Nets (Q5166756) (← links)
- Partial order reduction for reachability games (Q5875384) (← links)
- Elimination of detached regions in dependency graph verification (Q6049047) (← links)
- Methods for Efficient Unfolding of Colored Petri Nets (Q6070614) (← links)
- Taking Some Burden Off an Explicit CTL Model Checker (Q6184728) (← links)
