Citation: | Tang Fagen, Yao Shuzhen, Deng Yanqunet al. Research of Simulation Technique for Concurrent Software on OPN[J]. Journal of Beijing University of Aeronautics and Astronautics, 1998, 24(4): 487-490. (in Chinese) |
1. 姚淑珍,金茂忠.基于Petri网的CASE全集成机制的研究.北京航空航天大学学报,1997,23(1):51~55 2. Englist S L.Coloured Petri nets for object-oriented modeling:[dissertation]. Brighton:Univ of Brighton,1993 3. Kyu K Y,Joo P S.OPNets:an object-oriented high-level Petri nets model for real-time system modeling.Journal of System Software,1993,20(1):69~86
|