Quickly prototyping petri nets tools with SNAKES

Authors:
Franck Pommereau
Affiliations:
Université Paris Est, Créteil, France
Venue:
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
Year:
2008

Citing 12
Cited 1

A technique of state space search based on unfolding

Formal Methods in System Design - Special issue on computer-aided verification (based on CAV'92 workshop)
Time-based expressivity of timed Petri nets for system specification

Theoretical Computer Science
Petri net algebra

Petri net algebra
Communication and Concurrency

Communication and Concurrency
The box calculus: a new causal algebra with multi-label communication

Advances in Petri Nets 1992, The DEMON Project
The Minimal Coverability Graph for Petri Nets

Papers from the 12th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1993
General parameterised refinement and recursion for the M-net calculus

Theoretical Computer Science
Modelling with hierarchical object Petri nets

Fundamenta Informaticae - Concurrency specification and programming
A Semantics of Security Protocol Language (SPL) using a Class of Composable High-Level Petri Nets

ACSD '04 Proceedings of the Fourth International Conference on Application of Concurrency to System Design
Versatile boxes: a multi-purpose algebra of high-level Petri nets

Proceedings of the 2007 Summer Computer Simulation Conference
Formal models for multicast traffic in network on chip architectures with compositional high-level Petri nets

ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
High level petri nets analysis with helena

ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets

Towards Efficient Verification of Systems with Dynamic Process Creation

Proceedings of the 5th international colloquium on Theoretical Aspects of Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents the toolkit SNAKES that is aimed at providing a flexible solution to the problem of quickly prototyping Petri nets tools. In particular, SNAKES is expected to have as few built-in limitations as possible with respect to the particular variant of Petri net to be used. The goal is to make SNAKES suitable for any kind of Petri net model, including new ones for which there exists no available tool. For this purpose, SNAKES is designed as a very general Petri net core library enriched with a set of extension modules to provide specialised features. On the one hand, the core library is versatile in that it defines a general Petri net structure where all the computational aspects are delegated to an interpreted programming language. On the other hand, the extension modules provide with enough flexibility to allow to redefine easily any part of the base Petri net model. SNAKES is released under the GNU LGPL, it can be downloaded at 〈http://www.univ-paris12.fr/lacl/pommereau/soft/snakes〉 with the API documentation and a tutorial.