For the most recent entries see the Petri Nets Newsletter.

Decidability Questions for Some Dynamic Properties of Petri Nets. (Abstract of Thesis).

Jancar, Petr

In: Commentat. Math. Univ. Carol., Vol. 30, No. 1, pages 1-201. 1989.

Abstract: The thesis contains three main results: (1) the decidability of ``relative boundedness'' of a given place --- that means boundedness in those reachable markings in which chosen places posses given numbers of tokens; it is a nontrivial corollary of the decidability of the well-known reachability problem; (2) the undecidability of the existence of an infinite (strongly) fair firing sequence (an alternative proof was given in H. Carstensen; Lect. Notes in Comput. Sci., Vol. 247, pp. 396--407 (1987)); (3) the decidability of the existence of an infinite weakly fair firing sequence (it was an open problem in loc. cit. and R. Howell, et al., Lect. Notes in Comput. Sci., Vol. 324, pp. 351--359 (1988)).

Keywords: decidability questions (for some) net properties; relative boundedness; fair firing sequence.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography