%0 Journal Article
%T Petri网连接过程中的行为关系
%A 蒋昌俊
%A 王怀清
%A 廖少毅
%J 自动化学报
%P 100-104
%D 2000
%X ？先前的Petri网模型的综合研究着重在性质的保持性方面,象活性、可达性和回归性.然而,系统行为关系的保持性研究应该更为重要.本文研究了Petri网模型自环连接、抑止弧连接和同步连接三种操作的行为关系,获得他们的语言关系公式,这些结果为Petri网模型综合过程中的动态行为分析提供了形式工具.
%K 模型
%K Petri网
%K 连接
%K 行为
%U http://www.aas.net.cn/CN/abstract/abstract14708.shtml