Flip-Flop Nets

Vincent Schmitt 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 automaton is isomorphic to the case graph of a net and then constructing the net has been solved for various type of nets ranging from elementary nets to Petri nets. Though P/T nets admits polynomial time synthesis algorithms, the synthesis problem for elementary nets is known to be NP-complete. Applying the principle of generalized regions inherited from the P/T nets representation to the boolean setting gives rise to flip-flop nets. These nets are a slight generalization of elementary nets and admits a polynomial time synthesis.
Type de document :
Rapport
[Research Report] RR-2587, INRIA. 1995
Liste complète des métadonnées

Littérature citée [2 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00074096
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 14:30:40
Dernière modification le : mercredi 16 mai 2018 - 11:23:13
Document(s) archivé(s) le : lundi 5 avril 2010 - 00:05:04

Fichiers

Identifiants

  • HAL Id : inria-00074096, version 1

Citation

Vincent Schmitt. Flip-Flop Nets. [Research Report] RR-2587, INRIA. 1995. 〈inria-00074096〉

Partager

Métriques

Consultations de la notice

109

Téléchargements de fichiers

73