Keyword: decidability

• Yen, Hus-Chun; Yu, Lien-Po:
  Decidability analysis of self-stabilization for Infinite- State Systems. 2006.

• Mayr, Richard:
  Undecidable problems in unreliable computations. 2003.

• Yamamoto, Mitsuharu; Cottin, Jean-Marie; Hagiya, Masami:
  Decidability of Safety Properties of Timed Multiset Rewriting. 2002.

• Yamamoto, Mitsuharu; Cottin, Jean-Marie; Hagiya, Masami:
  Decidability of Safety Properties of Timed Multiset Rewriting. 2002.

• Jancar, Petr:
  Nonprimitive recursive complexity and undecidability for Petri net equivalences. 2001.

• Dufourd, C.; Jancar, P.; Schnoebelen, P.:
  Boundedness of reset P/T nets. 1999.

• Finkel, A.:
  The Minimal Coverability Graph for Petri Nets. 1993.

• Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun:
  Global and Local Views of State Fairness. 1991.

• Paech, Barbara:
  Concurrency as a Modality. 1991.

• Vogler, W.:
  Deciding History Preserving Bisimilarity. 1991.

• Nitsche, Ulrich:
  Erreichbarkeitsanalyse von Produktnetzen. 1991.

• Vogler, Walter:
  Is Partial Order Semantics Necessary for Action Refinement? 1991.

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

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

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

• Jancar, Petr:
  Decidability of a Temporal Logic Problem for Petri Nets. 1990.

• Lodaya, K.; Ramanujam, R.; Thiagarajan, P.S.:
  A Logic for Distributed Transition Systems. 1989.

• Penczek, W.:
  A Temporal Logic for the Local Specification of Concurrent Systems. 1989.

• Finkel, A.:
  Reduction and Covering of Infinite Reachability Trees. 1989.

• de Frutos Escrig, D.; Johnen, C.:
  Decidability of Home Space Property. 1989.

• Budinas, B.L.:
  Solvability of the Reachability Problem for Petri Nets (a Review of the Problem). 1988.

• Johnen, Colette:
  Decidability of Home Space Property. 1988.

• 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, M.:
  Reachable Markings of Object Petri Nets. 06.

Back to the Petri Nets Bibliography