ITS-Tools
From MaRDI portal
swMATH29142MaRDI QIDQ40856FDOQ40856
Author name not available (Why is that?)
Official website: https://lip6.github.io/ITSTools-web/
Cited In (35)
- Repeatability package
- Nested-unit Petri nets
- Zone-based verification of timed automata: extrapolations, simulations and what next?
- Symbolic and structural model-checking
- Model checking data flows in concurrent network updates
- Automata-driven partial order reduction and guided search for LTL model checking
- GreatSPN
- TAPAAL
- Rabbit
- 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
- Petri nets semantics of reaction rules (RR). A language for ecosystems modelling
- Improvements in unfolding of colored Petri nets
This page was built for software: ITS-Tools
