|
1
|
基于层次实时有色Petri网的实时系统建模与分析方法研究 |
刘铭
张国印
姚爱红
门朝光
|
《电子与信息学报》
EI
CSCD
北大核心
|
2011 |
8
|
|
|
2
|
基于优先级时间Petri网的实时嵌入式多核系统分析 |
张凯文
刘关俊
孙彦韬
李晓锋
关健
解毅
顾斌
|
《软件学报》
EI
CSCD
北大核心
|
2024 |
1
|
|
|
3
|
基于有色Petri网的点式-基于通信的列车控制系统切换实时性分析 |
汪小勇
董德存
欧冬秀
纪玉清
|
《同济大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
|
2021 |
4
|
|
|
4
|
有色—时间Petri网航班延误模型与波及分析 |
丁建立
陈坦坦
刘玉洁
|
《计算机集成制造系统》
EI
CSCD
北大核心
|
2008 |
13
|
|
|
5
|
基于有色自控Petri网的电网故障区域识别 |
谢敏
吴亚雄
黄庶
刘明波
|
《电力系统保护与控制》
EI
CSCD
北大核心
|
2016 |
18
|
|
|
6
|
基于有色Petri网的ETCS无线通信可靠性分析 |
徐田华
赵红礼
唐涛
|
《铁道学报》
EI
CAS
CSCD
北大核心
|
2008 |
29
|
|
|
7
|
基于有色Petri网的电力系统故障诊断模型研究 |
曾庆锋
何正友
杨健维
|
《电力系统保护与控制》
EI
CSCD
北大核心
|
2010 |
25
|
|
|
8
|
机组组合问题的复合控制有色Petri网模型 |
喻菁
周建中
戴洪海
杨俊杰
华斌
|
《电网技术》
EI
CSCD
北大核心
|
2004 |
7
|
|
|
9
|
基于增广Petri网的实时交通信号控制系统 |
叶剑虹
叶双
宋文
孙世新
|
《厦门大学学报（自然科学版）》
CAS
CSCD
北大核心
|
2011 |
6
|
|
|
10
|
一种基于有色Petri网的知识库验证方法 |
姜浩
罗军舟
方宁生
|
《东南大学学报（自然科学版）》
EI
CAS
CSCD
|
2000 |
10
|
|
|
11
|
基于有色Petri网的FIFO栈建模与优化 |
付新华
肖明清
袁大勇
邹德鹏
|
《仪器仪表学报》
EI
CAS
CSCD
北大核心
|
2008 |
5
|
|
|
12
|
基于有色Petri网的CBTC系统列车追踪过程建模与仿真 |
陈磊
宁滨
张勇
唐涛
|
《系统仿真学报》
CAS
CSCD
北大核心
|
2009 |
10
|
|
|
13
|
基于有色Petri网的车载设备模式转换测试序列生成方法 |
赵晓宇
杨志杰
吕旌阳
|
《中国铁道科学》
EI
CAS
CSCD
北大核心
|
2017 |
18
|
|
|
14
|
基于有色Petri网的CTCS-3级列控系统RBC切换的建模与形式化分析 |
张友兵
唐涛
|
《铁道学报》
EI
CAS
CSCD
北大核心
|
2012 |
18
|
|
|
15
|
电力系统网络拓扑分析的有色Petri网模型 |
赖晓平
周鸿兴
|
《电网技术》
EI
CSCD
北大核心
|
2000 |
29
|
|
|
16
|
基于模糊有色Petri网的故障诊断方法 |
张丹
佘维
叶阳东
|
《计算机工程与设计》
CSCD
北大核心
|
2013 |
6
|
|
|
17
|
基于有色Petri网的安全协议安全性仿真 |
郑君杰
肖军模
杨明
刘志华
叶松
周延年
|
《系统仿真学报》
EI
CAS
CSCD
北大核心
|
2006 |
3
|
|
|
18
|
基于库所有色Petri网的故障诊断算法研究 |
马良荔
刘永葆
汪丽华
|
《计算机应用研究》
CSCD
北大核心
|
2012 |
6
|
|
|
19
|
基于赋时层次有色Petri网的医疗服务流程建模与优化 |
伍宏伟
杨东
|
《系统仿真学报》
EI
CAS
CSCD
北大核心
|
2007 |
24
|
|
|
20
|
基于有色Petri网的复杂武器系统任务可靠性建模及估计 |
原菊梅
侯朝桢
高琳
王小艺
|
《系统仿真学报》
EI
CAS
CSCD
北大核心
|
2007 |
6
|
|
