ITS-Tools
From MaRDI portal
Software:40856
swMATH29142MaRDI QIDQ40856FDOQ40856
Author name not available (Why is that?)
Cited In (7)
- Nested-unit Petri nets
- Zone-based verification of timed automata: extrapolations, simulations and what next?
- Model Checking Data Flows in Concurrent Network Updates
- Automata-driven partial order reduction and guided search for LTL model checking
- Petri nets semantics of reaction rules (RR). A language for ecosystems modelling
- Symbolic and Structural Model-Checking
- Improvements in unfolding of colored Petri nets
This page was built for software: ITS-Tools
