The algorithm for checking liveness in synchronized choice nets.

For the most recent entries see the Petri Nets Newsletter.

The algorithm for checking liveness in synchronized choice nets.

Chao, D.Y.; Tseng, J.-H.; Tang, J.-H.; Nicdao, J.A.; Chen, Y.-K.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography