5CHEN Hut-nan(Department of Computer Science and Technology, Naming University of Posts and Telecommunications, Naming, 210003, P R, China).Colored Nets as a Formal Approach to Event-Driven Interfaces[J].The Journal of China Universities of Posts and Telecommunications,1999,6(2):45-49.