In: Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'99), 12-15 October 1999, Tokyo, Japan, Vol. 3, pages 881-886. 1999.
Abstract: Synchronized choice nets (SNC) is a new class of nets which are covered by both P-components and T-components. The paper proposes to use structure matrix (S-matrix) the check if an SNC net is live.
Keywords: S-matrix, liveness property, structure matrix, synchronized choice Petri nets.
Back to the Petri Nets Bibliography