Daniel Y. Chao. Reachability of synchronized choice Petri nets. In IEEE International Conference on Systems, Man and Cybernetics: Bridging the Digital Divide, Yasmine Hammamet, Tunisia, October 6-9, 2002. pages 5, IEEE, 2002. [doi]
Abstract is missing.