In: Proc. of the 25th Annual Allerton Conf. on Communication Control and Computing, pages 315-316. Urbana-Champaign: Univ. Illinois, 1987.
Abstract: The paper introduces the notion of T-complement Petri net of a given Petri net. The marking of the T-complement Petri net identifies a maximal set of transitions that can be fired under a corresponding marking on the original Petri net.