总文献量: 33篇会议类型: 国内会议会议地点: 杭州主办单位: 中国系统仿真学会;中国计算机学会会议日期: 2003-09-01
文章浏览
基于线性时态逻辑的Petri网模型检测
有色Petri网在系统分析中的应用
可达性等价于状态方程可满足性的两个Petri-Nets子类
从协议Petri网到Estelle的转换
基于时间Petri网的密码协议分析
非马尔可夫随机Petri网的分析方法及应用
一类模糊Petri网的动态特性及应用
有色Petri网在通信协议中的应用
MPI通信函数的增广Petri网模型
描述VHDL语句的Petri Nets模型
基于模糊有色Petri网的不确定性学习和推理方法
扩展Petri网在实时数据库并发控制中的应用
- 1
- 2