Keyword: structure and behavior of nets

• Taoka, Satoshi; Furusato, Shinji; Watanabe, Toshimasa:
  A Heuristic Algorithm FSDC Based on Avoidance of Deadlock Components in Finding Legal Firing Sequences of Petri Nets. 2003.

• Langner, Peter; Schneider, Christoph; Wehler, Joachim:
  Petri Net Based Certification of Event-driven Process Chains. 1998.

• Autant, C.; Schnoebelen, Ph.:
  Place Bisimulations in Petri Nets. 1992.

• Lilius, Johan:
  High-level Nets and Linear Logic. 1992.

Back to the Petri Nets Bibliography