共 3 条
- [1] 矢量文法与PN机[J]. 蒋昌俊.中国科学(A辑 数学 物理学 天文学 技术科学). 1995(12)
- [2] C/E系统的交替行为特性[J]. 陆维明.中国科学(A辑 数学 物理学 天文学 技术科学). 1993(02)
Petri网的动态不变性
被引：25
作者：
蒋昌俊
机构：
[1] 中国科学院计算技术研究所国家智能机中心 中国科学院自动化研究所 北京 合肥工业大学计算机学院
[2] 合肥
来源：
基金：
中国博士后科学基金;
关键词：
Petri网;
系统;
行为;
状态;
一致性;
D O I：
暂无
中图分类号：
O233 [逻辑网络理论];
学科分类号：
摘要：
定义了Petri网的动态不变性概念,分别从行为和状态两方面刻划了系统合成过程中不变性特征.讨论了行为不变性与状态不变性之间的关系,获得判定不变性的代数判据,由此为系统合成的一致性检验提供了依据.
引用
收藏
页码：567 / 573
页数：7
相关论文