8Ho, I. Jin-Chem Lin;Generating test eases for realtime software by time Petri nets model Test Symposium,1999. (ATS'99) Proceeds. Eighth Asian, 1999.
9Ramaswamy,S. A Petri net based approach for establishing necessary software design and testing requirements Systems,Man, and Cybernetics, 2000 IEEE International Conference on, Volume: 4,2000.
10Furfaro, A Nigro, L.Pupo, F.Distributed simulation of timed coloured Petri nets, Distributed Simulation and Real-Time Applications,2002. Proceedings. Sixth IEEE International Workshop on,2002.
