SNAKES

MaRDI QIDQ21459swMATHFDO

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

(15)

• TINA
• Helena
• Proclets
• neco-spot
• Neco
• Petri nets semantics of reaction rules (RR). A language for ecosystems modelling
• Charlie
• CosyVerif
• PNTooL
• ANDy
• Modeling quantitative aspects of concurrent systems using weighted Petri net transducers
• 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.

This page was built for software: SNAKES