Computer Science ›› 2017, Vol. 44 ›› Issue (7): 38-41.doi: 10.11896/j.issn.1002-137X.2017.07.007
Previous Articles Next Articles
SONG Zhen-hua and ZHANG Guang-quan
| [1] HE J F.Cyber-Physical Systems[J].China Computer Federation,2010,6(1):25-29.(in Chinese) 何积丰.Cyber-Physical Systems[J].中国计算机学会通讯,2010,6(1):25-29. [2] GIRAULT C,VALK R.Petri Nets for Systems Engineering:A Guide to Modeling,Verification,and Applications [M].Springer& Business Media,2013. [3] ZHANG M T,ZHANG G Q,ZHANG K,et al.Spatio-Temporal Petri Net Model for Describing CPS Physical Entities[J].Journal of Frontiers of Computer Science & Technology,2013,7(4):377-384.(in Chinese) 张茗泰,张广泉,张侃,等.描述 CPS 物理实体的时空 Petri 网模型[J].计算机科学与探索,2013,7(4):377-384. [4] KICZALES G,LAMPING J,MENDHEKAR A,et al.Aspect-oriented programming[C]∥European Conference on Object-orie-nted Programming.Springer Berlin Heidelberg,1997:220-242. [5] ROUBTSOVA E,AKSIT M.Extension of Petri Nets by As-pects to Apply the Model Driven Architecture Approach [C]∥Preliminary Proceedings of the 1st International workshop on Aspect-Based and Model-Based Separation of Concerns in Software Systems (ABMB).2005:1-15. [6] XU D,NYGARD K E.Threat-Driven Modeling and Verification of Secure Software using Aspect-Oriented Petri Nets[J].IEEE Transactions on Software Engineering,2006,32(4):265-278. [7] QIAN Z,YU H.A TAOPN Approach to Modeling and Scheduling Cyber-Physical Systems[C]∥International Conference on Information Science and Applications (ICISA).IEEE,2013:1-7. [8] ZHENG L,RONG M,Zhang G,et al.Method for Modeling CPS Based on Open Colored Petri Net [J].Journal of Computational Information Systems,2014,10(22):9657-9664. [9] JENSEN K.An Introduction to the Theoretical Aspects of Co-loured Petri Nets [M]∥A Decade of Concurrency Reflections and Perspectives.Springer Berlin Heidelberg,1994:230-272. [10] CHRISTENSEN S,HANSEN N D.Coloured Petri Nets Ex-tended with Place Capacities,Test Arcs and Inhibitor Arcs[M].Springer Berlin Heidelberg,1993. |
| No related articles found! |
|
||