Petri网连接过程中的行为关系
先前的Petri网模型的综合研究着重在性质的保持性方面,象活性、可达性和回归性.然而,系统行为关系的保持性研究应该更为重要.本文研究了Petri网模型自环连接、抑止弧连接和同步连接三种操作的行为关系,获得他们的语言关系公式,这些结果为Petri网模型综合过程中的动态行为分析提供了形式工具.
模型、Petri网、连接、行为
26
TP2(自动化技术及设备)
中国科学院资助项目;山东省优秀中青年科学家科研奖励基金;教育部科学技术研究项目;山东省科技攻关项目
2004-03-19(万方平台首次上网日期,不代表论文的发表时间)
共5页
100-104