Building Petri nets tools around Neco compiler

Lukasz Fronc 1 Franck Pommereau 1
1 COSMO
IBISC - Informatique, Biologie Intégrative et Systèmes Complexes
Abstract : 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.
Type de document :
Communication dans un congrès
International Workshop on Petri Nets and Software Engineering (PNSE 2013), Jun 2013, Milano, Italy. (elec. proc.), 2013
Liste complète des métadonnées


https://hal.archives-ouvertes.fr/hal-00911714
Contributeur : Frédéric Davesne <>
Soumis le : vendredi 29 novembre 2013 - 16:42:27
Dernière modification le : jeudi 9 février 2017 - 15:50:20
Document(s) archivé(s) le : lundi 3 mars 2014 - 20:25:19

Fichier

pnse13.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00911714, version 1

Collections

Citation

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.), 2013. <hal-00911714>

Partager

Métriques

Consultations de
la notice

134

Téléchargements du document

166