SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper)
From MaRDI portal
Publication:2941154
DOI10.1007/978-3-319-19488-2_13zbMath1432.68316OpenAlexW1124044266MaRDI QIDQ2941154
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
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
Cites Work
This page was built for publication: SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper)