TAPAAL
From MaRDI portal
Cited in
(39)- Romeo
- CPN/Tools
- Access/CPN
- TINA
- IF-2.0
- Stubborn versus structural reductions for Petri nets
- GEZEL
- PetriNets
- LoLA
- SNOOPY
- Extended dependency graphs and efficient distributed fixed-point computation
- PTrie: data structure for compressing and storing sets via prefix sharing
- Automatic synthesis of transiently correct network updates via Petri games
- Verics
- Automata-driven partial order reduction and guided search for LTL model checking
- Computing branching distances with quantitative games
- Simplification of CTL formulae for efficient model checking of Petri nets
- Combining free choice and time in Petri nets
- Strong behavioral similarities in timed-arc Petri nets
- CMC
- TCTL-preserving translations from timed-arc Petri nets to networks of timed automata
- MARCIE
- Improvements in unfolding of colored Petri nets
- Soundness of timed-arc workflow nets in discrete and continuous-time semantics
- Verification of Timed-Arc Petri Nets
- Model Checking Real-Time Systems
- PeCAn: compositional verification of Petri nets made easy
- UPPAAL CORA
- ITS-Tools
- PeCAn
- AdamMC
- zUpdate
- PTrie
- Soundness of timed-arc workflow nets
- Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets
- Partial order reduction for reachability games
- ADG
- Repeatability package
- Stubborn set reduction for timed reachability and safety games
This page was built for software: TAPAAL
