|国家科技期刊平台
| 注册
首页|期刊导航|计算机工程|基于有色Petri网的安全构件模型

基于有色Petri网的安全构件模型

陈旭 徐中伟 喻钢

计算机工程2008，Vol.34Issue(22)：165-167,3.
✕
计算机工程2008，Vol.34Issue(22)：165-167,3.

基于有色Petri网的安全构件模型

Safety-component Model Based on Colored Petri Net

陈旭 1徐中伟 1喻钢2

作者信息

  • 1. 同济大学电子与信息工程学院,上海,201804
  • 2. 上海大学嘉定校区悉尼工商学院,上海,201800
  • 折叠

摘要

关键词

有色Petri网/安全构件建模/CTCS-2列车控制中心

分类

信息技术与安全科学

引用本文复制引用

陈旭,徐中伟,喻钢..基于有色Petri网的安全构件模型[J].计算机工程,2008,34(22):165-167,3.

基金项目

国家自然科学基金资助项目(60674004) （60674004）

计算机工程

OA北大核心CSCDCSTPCD

1000-3428

访问量0
|
下载量0
段落导航相关论文