1. A survey of behavior and equivalence preserving refinement of Petri nets;Brauer;Lecture Notes in Computer Science,1990
2. T.Y. Cheung, Y. Lu, Detecting and resolving the interaction between telephone features Terminating Call Screening and Call Forwarding by colored Petri nets, Proc. IEEE Internat. Conf. on Systems, Man and Cybernetics, 1995, pp. 2245–2250.
3. Invariant-preserving transformations for the verification of place/transition systems;Cheung;IEEE Trans. Systems Man Cybernet.—Part A: Systems Hum.,1998
4. T.Y. Cheung, X. Zhu, A formal-method approach for cyclomatic complexity of distributed software, Transaction of K.C. Wong Education Foundation Supported Lectures, K.C. Wong Education Foundation, 1994, pp. 99–118.
5. Place/transition Petri nets;Desel;Lecture Notes in Computer Science,1998