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.