Branching processes of general petri nets

  • Authors:

  • Jean-Michel Couvreur;Denis Poitrenaud;Pascal Weil

  • Affiliations:

  • LIFO, Université d'Orléans, Orléans, France;LIP6, Université Pierre et Marie Curie, Paris, France;LaBRI, Université de Bordeaux I, Talence, France

  • Venue:
  • PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

We propose a new model of branching processes, suitable for describing the behavior of general Petri nets, without any finiteness or safeness assumption. In this framework, we define a new class of branching processes and unfoldings of a net N, which we call true. These coincide with the safe branching processes and unfoldings if N is safe, or weakly safe as in [Engelfriet 1991], but not in general. However, true branching processes and processes satisfy the good order-theoretic properties which make the safe processes of safe nets so useful in practice, and which are known not to hold for the safe processes of a general net. True processes represent therefore good candidates to generalize the theory of safe nets to the general case.