SNAKES
From MaRDI portal
Software:21459
No author found.
Related Items (6)
Petri nets semantics of reaction rules (RR). A language for ecosystems modelling ⋮ Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers ⋮ LTL Model Checking with Neco ⋮ Modeling in systems biology. The Petri net approach. With a foreword of Jens Georg Reich. ⋮ Towards Efficient Verification of Systems with Dynamic Process Creation ⋮ Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations
This page was built for software: SNAKES
