In: IEICE Trans. on Fundamentals in Electronics, Communications and Computer Science, Vol. E79-A, No. 11, pages 1825-1828. 1996.
Abstract: A minimal siphon (or alternatively a structural deadlock) of a Petri net is defined as a minimal set S of places such that existence of any edge from a transition t to a place of S implies that there is and edge from place of S to t. The subject of this paper is to find a minimal siphon containing a given set of specified places of a general Petri net.
Keywords: NP-completeness, general Petri nets, minimal siphons, strong connectedness, structural deadlocks.