HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

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, INRIA Rennes
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.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00073561
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 1:11:40 PM
Last modification on : Friday, February 4, 2022 - 3:25:26 AM
Long-term archiving on: : Sunday, April 4, 2010 - 11:50:28 PM

Identifiers

  • HAL Id : inria-00073561, version 1

Citation

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

Share

Metrics

Record views

98

Files downloads

45