For the most recent entries see the Petri Nets Newsletter.

Komponentenweise Sicht auf sture Mengen.

Roch, Stephan

In: Desel, J.; Kemper, P.; Kindler, E.; Oberweis, A.: Forschungsbericht, No. 694: 5. Workshop Algorithmen und Werkzeuge für Petrinetze, pages 88-93. Universität Dortmund, Fachbereich Informatik, 1998.

Abstract: The author dicusses how special Petri net extensions, e.g. test arcs, inhibitor arcs, and priorities, influence the concept of stubborn sets, which is used in state space analysis.


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

Back to the Petri Nets Bibliography