|
 |
系统仿真学报2006年被Ei收录的论文
1 |
基于随机Petri网的工作流服务时间的等价计算方法
田立勤, 陈福明
v 17, n SUPPL., October, 2005, p 110-113 |
2 |
基于Petri网的分层工作流模型研究
张 亮, 姚淑珍
v 17, n SUPPL., October, 2005, p 114-117 |
3 |
基于Petri网和抽象方法的工作流模型分解
封富君，林 闯，蒋屹新，李俊山
v 17, n SUPPL., October, 2005, p 118-121+124 |
4 |
一种扩展数据对象工作流Petri网模型
任 侠，谭庆平
v 17, n SUPPL., October, 2005, p 122-124
|
5 |
Web服务器集群QoS-aware负载均衡策略的性能评价
单志广, 林 闯
v 17, n SUPPL., October, 2005, p 184-189+203 |
6 |
SMV在开发数字电视硬盘机顶盒中的应用
杨 莹, 王永滨, 闫 坚, 于 宁
v 17, n SUPPL., October, 2005, p 190-192+203 |
7 |
AUML与Petri网结合使用的研究
魏定国，吴时霖
v 17, n SUPPL., October, 2005, p 193-196 |
8 |
基于Petri网的随机库存系统仿真
鲁法明，吴哲辉
v 17, n SUPPL., October, 2005, p 197-200+203 |
9 |
基于Petri 网的同步DRAM控制器的建模与分析
刘士喜，方贤文，许志才
v 17, n SUPPL., October, 2005, p 204-206 |
10 |
UML状态图至Petri网转化方法的研究
李 飚，郭 峰，姚淑珍
v 17, n SUPPL., October, 2005, p 207-210 |
11 |
基于Petri网下的哲学家就餐问题的模拟与验证
叶剑虹, 宋 文, 孟永刚
v 17, n SUPPL., October, 2005, p 211-212+215 |
12 |
逆网在离散事件系统监控理论中的应用
茹 雨, 吴维敏
v 17, n SUPPL., October, 2005, p 213-215 |
13 |
利用Petri网方法求解二次同余式：ax2+bx+c≡0(modp,
p≥3,素数)
许安国，赵义军
v 17, n SUPPL., October, 2005, p 216-218+228 |
14 |
一类柔性制造系统的死锁预防策略
李志武, 徐平江, 夏海斌
v 17, n SUPPL., October, 2005, p 219-222 |
15 |
网格体系的Petri网模拟与分析
张 鹏, 杜玉越, 左风朝，蒋昌俊
v 17, n SUPPL., October, 2005, p 223-228 |
16 |
基于双变迁Petri网的嵌入式系统建模
郭 军，郝克刚
v 17, n SUPPL., October, 2005, p 229-231 |
17 |
某类有界时序Petri网的原型网形式的转化
刘 勇，吴哲辉
v 17, n SUPPL., October, 2005, p 1-4 |
18 |
基于活标识性质的活网子类划分
吴 俊, 罗军舟, 吴哲辉
v 17, n SUPPL., October, 2005, p 5-6+11 |
19 |
Petri网进程的描述方法研究综述
曾庆田，范 昊，吴哲辉
v 17, n SUPPL., October, 2005, p 7-11 |
20 |
Petri网共享子网合成活性分析
夏传良，焦 莉，陆维明
v 17, n SUPPL., October, 2005, p 12-16+25 |
21 |
Petri网系统的可达性分析
吴文渊，曾振柄
v 17, n SUPPL., October, 2005, p 17-25 |
22 |
广义有界上下文无关语言与Petri网语言
张继军，吴哲辉
v 17, n SUPPL., October, 2005, p 26-29 |
23 |
库所组合有色网-一种新型的有色网
霍金健, 袁崇义, 屈婉玲
v 17, n SUPPL., October, 2005, p 30-37+43 |
24 |
一类区间速率连续Petri网的可达稳态分析
廖伟志, 文 瑛, 王汝凉
v 17, n SUPPL., October, 2005, p 44-47 |
25 |
一种基于petri网与ECA规则转换的工作流演进模型研究
王 飏, 姚淑珍
v 17, n SUPPL., October, 2005, p 131-135 |
26 |
Reconnaissance
Platform Agent Modeling with ObjectOriented Fuzzy Petri Net
LI
Xiong，LIU
De-gang，CONG
Hua
v 17, n SUPPL., October, 2005, p 136-139+144 |
27 |
基于Petri网的多Agent系统建模的研究
李 伟，乔 欣
v 17, n SUPPL., October, 2005, p 140-144 |
28 |
MYCIN系统的模糊Petri网建模
方 欢，吴哲辉
v 17, n SUPPL., October, 2005, p 145-147 |
29 |
一类Petri网调度问题的符号求解技术
古天龙, 李风英
v 17, n SUPPL., October, 2005, p 148-150+154 |
30 |
基于P/T网结构的规则系统验证方法
丁志军，蒋昌俊
v 17, n SUPPL., October, 2005, p 151-154 |
31 |
基于面向对象Petri网的BDI
Agent模型探讨
曾海滨，姚淑珍
v 17, n SUPPL., October, 2005, p 155-158+162 |
32 |
MPI集群通信函数的Petri网模型
崔焕庆，吴哲辉，井艳芳
v 17, n SUPPL., October, 2005, p 52-54+58 |
33 |
满足2PL协议的无死锁事务并发控制Petri网模型
孙 琳，吴哲辉，崔焕庆
v 17, n SUPPL., October, 2005, p 55-58 |
34 |
下一代移动IPv6在WLAN内快速切换的性能研究
杨文川, 王济世，杨 巍，杨 超，刘 驰
v 17, n SUPPL., October, 2005, p 59-61+65 |
35 |
基于颜色Petri网的TCP协议模拟和分析
徐誉尹，吴哲辉
v 17, n SUPPL., October, 2005, p 59-61+65 |
36 |
AB协议的Petri网描述与J2ME可视化实现
臧广良, 郑进远, 李 祥
v 17, n SUPPL., October, 2005, p 66-68 |
37 |
基于PWF_nets的服务组合方法
喻 坚，杨 萍，黄鹂鸣
v 17, n SUPPL., October, 2005, p 69-72 |
38 |
扩展时间戳状态类
潘 理, 李文军, 刘显明
v 17, n SUPPL., October, 2005, p 73-77+81 |
39 |
密码协议的p -网形式化描述和分析
曹木亮，吴智铭，杨根科
v 17, n SUPPL., October, 2005, p 78-81 |
40 |
基于Petri网共享合成的网格计算资源调度方案
韩耀军 ,罗雪梅
v 17, n SUPPL., October, 2005, p 159-162 |
41 |
基于Petri网的强制访问控制模型及其安全分析
蒋屹新, 林 闯, 封富君, 尹 浩
v 17, n SUPPL., October, 2005, p 82-87 |
42 |
不可否认协议形式化分析的Petri网方法
黎波涛, 罗军舟
v 17, n SUPPL., October, 2005, p 88-92 |
43 |
基于Horn子句集的Pr/T网可达树的方案求解
方 欢，吴哲辉，崔焕庆
v 17, n SUPPL., October, 2005, p 163-165 |
44 |
主从任务调度的T-时间Petri网
张金泉，倪丽娜，蒋昌俊
v 17, n SUPPL., October, 2005, p 166-169 |
45 |
基于路径变换的虚拟人行走捕获数据的重用
卢晓军，李 焱，贺汉根
v 17, n SUPPL., October, 2005, p 170-173 |
46 |
一个基于时间petri网的多处理机静态调度的方法
孔德华，吴哲辉
v 17, n SUPPL., October, 2005, p 174-177+183 |
47 |
层次扩展模糊时间Petri网及车站通过能力评定
杜彦华，刘春煌
v 17, n SUPPL., October, 2005, p 178-183 |
48 |
基于BPEL4WS和Petri网的服务建模与分析
王艳春，林广艳
v 17, n SUPPL., October, 2005, p 93-95 |
49 |
基于Petri网的认证协议分析
董 卫，吴哲辉
v 17, n SUPPL., October, 2005, p 96-99+113 |
50 |
Petri网在工作流系统建模和分析中的应用
庞善臣, 蒋昌俊
v 17, n SUPPL., October, 2005, p 100-104 |
51 |
基于扩展任务结构的工作流建模及分析
邢光林，洪 帆，朱 贤
v 17, n SUPPL., October, 2005, p 105-109 |
|
|
|
|
