Keyword: branching processes

• Haar, Stefan:
  Ocurrence Net Logics. 1999.

• Haar, Stefan:
  On Occurrence Net Semantics of Petri Nets. 1999.

• Freytag, T.:
  How to construct maximal conflict-free processes from Petri net simulations. 1998.

• Haar, Stefan:
  Branching Processes of general S/T-Systems and their properties. 1998.

• Vogler, W.; Semenov, A.; Yakovlev, A.:
  Unfolding and finite prefix for nets with read arcs. 1998.

Back to the Petri Nets Bibliography