In: Proceedings of the second IEEE International Conference on Systems, Man and Cybernetics (SMC'02), October 6-9, 2002, Hammamet, Tunisia, Volume 5. IEEE Computer Society Press, October 2002.
Abstract: Reachability for a new class of nets called Synchronized Choice Nets (SNC) is extended to Non-SNC. SNC covers well-behaved FC. Based on which, we propose an algorithm to verify liveness.