Keyword: analysis and synthesis

• Koutny, Maciej; Pietkiewicz-Koutny, Marta:
  Transition Systems of Elementary Net Systems with Localities. 2006.

• 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.

• Czaja, Ludwik:
  Process languages and nets. 2000.

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

• Pietkiewicz-Koutny, Marta:
  Transition Systems of Elementary Net Systems with Inhibitor Arcs. 1997.

• Schmidt, Karsten:
  Siphons, Traps and High-Level Nets with Infinite Color Domains. 1997.

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

Back to the Petri Nets Bibliography