Cited in
(15)- LTL model checking with Neco
- Towards Efficient Verification of Systems with Dynamic Process Creation
- Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations
- TINA
- Helena
- Proclets
- neco-spot
- Neco
- Charlie
- CosyVerif
- PNTooL
- ANDy
- Modeling in systems biology. The Petri net approach. With a foreword of Jens Georg Reich.
- Petri nets semantics of reaction rules (RR). A language for ecosystems modelling
- Modeling quantitative aspects of concurrent systems using weighted Petri net transducers
This page was built for software: SNAKES
