Petri网的动态不变性

被引：25

作者：

蒋昌俊

机构：

[1] 中国科学院计算技术研究所国家智能机中心中国科学院自动化研究所北京合肥工业大学计算机学院

[2] 合肥山东矿业学院计算机系

[3] 泰安

来源：

基金：

中国博士后科学基金;

关键词：

Petri网; 系统; 行为; 状态; 一致性;

D O I：

暂无

中图分类号：

O233 [逻辑网络理论];

学科分类号：

070105 ; 0711 ; 071101 ; 0811 ; 081101 ;

摘要：

定义了Petri网的动态不变性概念,分别从行为和状态两方面刻划了系统合成过程中不变性特征.讨论了行为不变性与状态不变性之间的关系,获得判定不变性的代数判据,由此为系统合成的一致性检验提供了依据.

引用

页码：567 / 573

页数：7