Keyword: reachability set

• Hauschildt, Dirk:
  Semilinearity of the Reachability Set is Decidable for Petri Nets. 1990.

• Stotts, P. David:
  Coverability Graphs for a Class of Synchronously Executed Unbounded Petri Nets. 1990.

• Hiraishi, Kunihiko:
  On Structural Conditions for Weak Persistency and Semilinearity of Petri Nets. 1990.

• Lesventes, Gilles:
  Systemes d'automates a compteurs et semi-linearite des ensembles d'etats accessibles: Forlorn hope. 1989.

• Sidwell, Richard D.:
  Petri Net Equivalence. 1987.

Back to the Petri Nets Bibliography