Cited in
(39)- Nested-unit Petri nets
- Zone-based verification of timed automata: extrapolations, simulations and what next?
- Model checking data flows in concurrent network updates
- Symbolic and structural model-checking
- GreatSPN
- TAPAAL
- Rabbit
- TAXYS
- POEM
- TINA
- libDDD
- LoLA
- Renew
- SNOOPY
- FORCE
- SNAKES
- LearnLib
- LinAIG
- MARCIE
- Synthia
- UPPAAL TIGA
- Petriweb
- REDLIB
- APT
- caesar.bdd
- LOEWE
- Meddly
- NUPN_INFO
- PNML2NUPN
- PNMC
- Anteater
- AdamMC
- FatTire
- Kuai
- zUpdate
- Automata-driven partial order reduction and guided search for LTL model checking
- Petri nets semantics of reaction rules (RR). A language for ecosystems modelling
- Repeatability package
- Improvements in unfolding of colored Petri nets
This page was built for software: ITS-Tools
