会议专题
会议专题
>
第十次全国Petri网学术年会暨形式化方法学术讨论会
第十次全国Petri网学术年会暨形式化方法学术讨论会
总文献量: 56篇
会议类型: 国内会议
会议地点: 江苏镇江
主办单位: 中国计算机学会
会议日期: 2005-10-01
结果中检索
文章浏览
扩展时间戳状态类
潘理 李文军 刘显明
基于随机Petri网的工作流服务时间的等价计算方法
田立勤 陈福明
基于双变迁Petri网的嵌入式系统建模
郭军 郝克刚
密码协议的π-网形式化描述和分析
曹木亮 吴智铭 杨根科
Web服务器集群QoS-aware负载均衡策略的性能评价
单志广 林闯
MYCIN系统的模糊Petri网建模
方欢 吴哲辉
几类合成网的性能分析
许安国 赵义军
Petri网系统的可达性分析
吴文渊 曾振柄
不可否认协议形式化分析的Petri网方法
黎波涛 罗军舟
基于面向对象Petri网的BDI Agent模型探讨
曾海滨 姚淑珍
基于Horn子句集的Pr/T网可达树的方案求解
方欢 吴哲辉 崔焕庆
SMV在开发数字电视硬盘机顶盒中的应用
杨莹 王永滨 闫坚 于宁
一类Petri网调度问题的符号求解技术
古天龙 李风英
UML状态图至Petri网转化方法的研究
李飚 郭峰 姚淑珍
基于Petri网下的哲学家就餐问题的模拟与验证
叶剑虹 宋文 孟永刚
广义有界上下文无关语言与Petri网语言
张继军 吴哲辉
1
2
3