Stratified Petri Nets

Eric Badouel 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 : We introduce a subclass of Valk's self-modifying nets. The considered nets appear as statified sums of ordinary nets and they arise as a counterpart to cascade products of automata via the duality between automata and nets based on regions in automata. Nets in this class, called stratified nets, cannot exhibit circular dependences between places: inscription on flow arcs attached to a given place, depend at most on the contents of places in lower layers. Therefore, the synthesis problem has similar degrees of complexity for (ordinary) nets and for stratified nets, hence it is tractable.
Type de document :
Rapport
[Research Report] RR-3128, INRIA. 1997
Liste complète des métadonnées

https://hal.inria.fr/inria-00073561
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 13:11:40
Dernière modification le : jeudi 11 janvier 2018 - 06:21:19
Document(s) archivé(s) le : dimanche 4 avril 2010 - 23:50:28

Fichiers

Identifiants

  • HAL Id : inria-00073561, version 1

Collections

Citation

Eric Badouel, Philippe Darondeau. Stratified Petri Nets. [Research Report] RR-3128, INRIA. 1997. 〈inria-00073561〉

Partager

Métriques

Consultations de la notice

166

Téléchargements de fichiers

62