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

DOI10.1007/978-3-319-19488-2_13zbMath1432.68316OpenAlexW1124044266MaRDI QIDQ2941154

Franck Pommereau

Publication date: 27 August 2015

Published in: Application and Theory of Petri Nets and Concurrency (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-19488-2_13

zbMATH Keywords

simulationmodel checkingprototypingPetri nets library

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Petri nets semantics of reaction rules (RR). A language for ecosystems modelling ⋮ SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper) ⋮ M-nets: a survey ⋮ SNAKES ⋮ Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations

Uses Software

• CPN/Tools
• Graphviz
• TINA
• Helena
• SWIG
• Cython
• CosyVerif

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Petri net algebra
• The practitioner's guide to coloured Petri nets.
• SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper)
• LTL Model Checking with Neco
• The Petri net kernel. An infrastructure for building Petri net tools

This page was built for publication: SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper)