信息物理融合系统的面向对象Petri网建模
李晔;王映辉;于振华
Formal modeling of cyber-physical systems using object-oriented Petri nets
LI Ye;WANG Yinghui;YU Zhenhua
J4 . 2014, (2): 165 -171 .  DOI: 10.3969/j.issn.1001-2400.2014.02.027

　陕ICP备09011600号
版权所有 © 2018 《西安电子科技大学学报》编辑部
地址：西安市太白南路2号349信箱(710071) Tel: (029)88202853 Email:xuebao@mail.xidian.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发