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