In: Transactions of the Society of Instrument and Control Engineers, Vol. 27, No. 3, pages 349-356. March 1991. In Japanese.
Abstract: The paper deals with the deduction of the condition logic equations representing the relations between conditions in a condition/event (C/E) system from the S-invariant and the related token count equation defined in an ordinary Petri net. The aim is to construct a powerful analytical tool for solving the problem of how to find the equivalent C/E system with fewer conditions than an original C/E system. The concept of the minimum support nets (MSNs) in the ordinary Petri net are introduced corresponding to the basic S-invariants.
Keywords: S-invariant (of) condition/event system; minimum support net; logic circuit design; discrete event control system.