会议专题

第十一届全国Petri网理论与应用学术年会

总文献量: 71篇会议类型: 国内会议会议地点: 大连主办单位: 中国计算机学会会议日期: 2007-08-01

文章浏览

基于广义随机Petri网的SIP的验证和性能分析

杨鹏袁占亭王继曾

基于语言等价的Petri网化简

张继军董卫

公平Petri网中同步距离计算的一个实现算法

王丽丽吴哲辉

IPTV数字内容版权保护安全协议的设计

郭迎九林闯尹浩

基于Petri网的软件项目管理建模方法

祁方民鱼滨史立军牟力科

基于Petri网的软件维护过程建模及应用分析

丁剑洁侯红郝克刚

双变迁Petri网的电路模拟技术研究

郭军郝克刚

基于增广自控网的路灯故障检测系统

严兵宋文蒋忠远

基于Petri网的一类调度问题的分层控制器设计

张志明吴维敏段红霞

基于Petri网的状态机变迁的形式化方法研究

何建伟姚淑珍

基于Grafcet的电梯控制系统建模

王寿光林善法张有兵

1
2
3
4