Jiacun Wang, Yi Deng. Component-level reduction rules for time Petri nets with application in C2 systems. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, SMC 1998, Hyatt Regency La Jolla, San Diego, California, USA, October 11-14,1998. pages 125-130, IEEE, 1998. [doi]
Abstract is missing.