Building Petri nets tools around Neco compiler - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Building Petri nets tools around Neco compiler

Résumé

This paper presents Neco that is a Petri net compiler: it takes a Petri net as its input and produces as its output an optimised library to e ciently explore the state space of this Petri net. Neco is also able to work with LTL formulae and to perform model-checking by using SPOT library. We describe the components of Neco, and in particular the exploration libraries it produces, with the aim that one can use Neco in one's own projects in order to speedup Petri nets executions.
Fichier principal
Vignette du fichier
pnse13.pdf (114.26 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00911714 , version 1 (29-11-2013)

Identifiants

  • HAL Id : hal-00911714 , version 1

Citer

Lukasz Fronc, Franck Pommereau. Building Petri nets tools around Neco compiler. International Workshop on Petri Nets and Software Engineering (PNSE 2013), Jun 2013, Milano, Italy. (elec. proc.). ⟨hal-00911714⟩
290 Consultations
305 Téléchargements

Partager

Gmail Facebook X LinkedIn More