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)

• 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
• 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