Keyword: reachability problem

• Ibarra, Oscar H.; Dangb, Zhe; Egecioglu, Omer:
  Catalytic P systems, semilinear sets, and vector addition systems. 2004.

• Takahashi, K.; Ono, I.; Satoh, H.; Kobayashi, S.:
  An efficient genetic algorithm for reachability problems. 1997.

• Takahashi, K.; Yamamura, M.; Kobayashi, S.:
  A GA approach to solving reachability problems for Petri nets. 1996.

• Ferrarini, L.:
  On the reachability and reversability problems in a class of Petri nets. 1994.

• Kanovich, M.I.:
  Linear logic as a logic of computations. 1994.

• Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun:
  A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets. 1991.

• Andre, Charles:
  Delays in Synchronized Elementary Net Systems. 1990.

• Finkel, Alain:
  Reduction and Covering of Infinite Reachability Trees. 1990.

• Reutenauer, Christophe:
  The Mathematics of Petri Nets. 1990.

• Zelewski, Stephan:
  Komplexitätstheorie als Instrument zur Klassifizierung und Beurteilung von Problemen des Operations Research. 1989.

• Ding, G.; Sekiguchi, T.:
  A Method of Determining the Firing Sequence of Petri Net. 1989.

• Finkel, A.; Johnen, C.:
  The Home State Problem in Transition Systems. 1989.

• Müller, Horst:
  Filling a Gap in Kosaraju's Proof for the Decidability of the Reachability Problem in VAS. 1982.

• Müller, Horst:
  List of Mistakes in the Paper ``Kosaraju: Decidability of Reachability in Vector Addition Systems, May 1982''. 1982.

• Köhler, Michael:
  The Reachability Problem for Object Nets. 06.

Back to the Petri Nets Bibliography