SNAKES

swMATH9476MaRDI QIDQ21459FDOQ21459

Author name not available (Why is that?)

Official website: http://dl.acm.org/citation.cfm?id=1416244

Described by source

• SNAKES: a flexible high-level Petri nets library (tool paper)

Cited In (14)

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