Polynomial Algorithms for the Synthesis of Bounded Nets

Eric Badouel 1 Luca Bernardinello 1 Philippe Darondeau 1
1 MICAS - Modèles et implémentation des calculs syntaxiques
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires
Abstract : The so-called synthesis problem for nets, which consists in deciding whether a given graph is isomorphic to the case graph of some net, and then constructing the net, has been solved in the litterature for various types of nets, ranging from elementary nets to Petri nets. The common principle for the synthesis is the idea of regions in graphs, representing possible extensions of places in nets. However, no practical algorithm has been defined so far for the synthesis. We give here explicit algorithms solving in polynomial time the synthesis problem for bounded nets from regular languages or from finite automata.
Type de document :
Rapport
[Research Report] RR-2316, INRIA. 1994
Liste complète des métadonnées

https://hal.inria.fr/inria-00074358
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 15:08:42
Dernière modification le : mercredi 16 mai 2018 - 11:23:13
Document(s) archivé(s) le : lundi 5 avril 2010 - 00:08:51

Fichiers

Identifiants

  • HAL Id : inria-00074358, version 1

Citation

Eric Badouel, Luca Bernardinello, Philippe Darondeau. Polynomial Algorithms for the Synthesis of Bounded Nets. [Research Report] RR-2316, INRIA. 1994. 〈inria-00074358〉

Partager

Métriques

Consultations de la notice

140

Téléchargements de fichiers

193