Stratified Petri Nets - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1997

Stratified Petri Nets

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.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RR-3128.pdf (354.84 Ko) Télécharger le fichier

Dates and versions

inria-00073561 , version 1 (24-05-2006)

Identifiers

  • HAL Id : inria-00073561 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More