SNAKES

swMATH9476MaRDI QIDQ21459FDOQ21459

Author name not available (Why is that?)

Described by source

• SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper)

Cited In (6)

• Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers
• Towards Efficient Verification of Systems with Dynamic Process Creation
• Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations
• 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
• LTL Model Checking with Neco

This page was built for software: SNAKES