|
1
|
基于工作流的企业过程的建模和仿真技术研究 |
刘铁铭
范玉顺
|
《清华大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
|
2000 |
40
|
|
|
2
|
计算机系统脆弱性评估研究 |
邢栩嘉
林闯
蒋屹新
|
《计算机学报》
EI
CSCD
北大核心
|
2004 |
84
|
|
|
3
|
一种基于Petri网和概率信息的电力系统故障诊断方法 |
孙静
秦世引
宋永华
|
《电力系统自动化》
EI
CSCD
北大核心
|
2003 |
81
|
|
|
4
|
基于Petri网的工作流模型性能分析方法 |
李建强
范玉顺
|
《计算机应用》
CSCD
北大核心
|
2001 |
28
|
|
|
5
|
基于Petri网化简方法的工作流模型验证 |
李建强
范玉顺
|
《信息与控制》
CSCD
北大核心
|
2001 |
44
|
|
|
6
|
一种工作流模型的性能分析方法 |
李建强
范玉顺
|
《计算机学报》
EI
CSCD
北大核心
|
2003 |
42
|
|
|
7
|
混合动态系统及其应用综述 |
莫以为
萧德云
|
《控制理论与应用》
EI
CAS
CSCD
北大核心
|
2002 |
36
|
|
|
8
|
基于时间Petri网的工作流模型分析(英文) |
李慧芳
范玉顺
|
《软件学报》
EI
CSCD
北大核心
|
2004 |
44
|
|
|
9
|
Petri网和冗余纠错技术结合的配网故障区段定位新方法 |
孙雅明
吕航
|
《中国电机工程学报》
EI
CSCD
北大核心
|
2004 |
52
|
|
|
10
|
Petri网在业务过程建模中的应用 |
李红臣
史美林
|
《小型微型计算机系统》
CSCD
北大核心
|
2001 |
26
|
|
|
11
|
Petri网与专家系统结合的输电网络故障诊断方法 |
方培培
李永丽
杨晓军
|
《电力系统及其自动化学报》
CSCD
北大核心
|
2005 |
32
|
|
|
12
|
基于有色Petri网的经营过程建模 |
宫世豪
杨吉江
柴跃廷
李美莺
李芳芸
|
《信息与控制》
CSCD
北大核心
|
2000 |
18
|
|
|
13
|
基于冗余嵌入Petri网技术的变电站故障诊断 |
赵洪山
米增强
杨奇逊
|
《电力系统自动化》
EI
CSCD
北大核心
|
2002 |
26
|
|
|
14
|
集群动态负载平衡系统的性能评价 |
唐丹
金海
张永坤
|
《计算机学报》
EI
CSCD
北大核心
|
2004 |
28
|
|
|
15
|
Petri网络在变压器故障诊断中的应用 |
王建元
纪延超
|
《电网技术》
EI
CSCD
北大核心
|
2002 |
29
|
|
|
16
|
Petri网和代数并发语义 |
袁崇义
|
《计算机学报》
EI
CSCD
北大核心
|
1998 |
40
|
|
|
17
|
Web请求分配和选择的综合方案与性能分析 |
单志广
戴琼海
林闯
杨扬
|
《软件学报》
EI
CSCD
北大核心
|
2001 |
31
|
|
|
18
|
UML实时活动图的形式化分析 |
崔萌
李宣东
郑国梁
|
《计算机学报》
EI
CSCD
北大核心
|
2004 |
22
|
|
|
19
|
炼钢连铸系统的动态调度模型和启发式调度算法 |
李霄峰
徐立云
邵惠鹤
任德祥
|
《上海交通大学学报》
EI
CAS
CSCD
北大核心
|
2001 |
17
|
|
|
20
|
基于对象Petri网技术的电力系统故障恢复方法 |
马骞
杨以涵
刘文颖
张东英
|
《电网技术》
EI
CSCD
北大核心
|
2005 |
31
|
|
