For the most recent entries see the Petri Nets Newsletter.

Stratified Petri Nets.

Badouel, Eric; Darondeau, Philippe

In: Lecture Notes in Computer Science, Vol. 1279: 11th International Symposium on Fundamentals of Computation Theory (FCT'97), pages 117-128. 1997.

Abstract: We introduce a subclass of Valk's self-modifying nets. The considered nets appear as stratified 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: inscriptions 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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography