摘要
本文定义Petri网嵌入操作的概念,讨论了嵌入操作对于系统行为(语言)以及性质(如活性,公平性,安全性和回归性)的保持关系,得到了一组充要条件,给出基于嵌入操作的并发系统递阶设计方法.
In this paper,four kinds of embedding operations of Petri nets are proposed. These operations preserve the properties of Petri nets very well, such as language behavior,liveness, fairness and reversibility.Based on these results,a method of hierarchical establishment of Petri nets is obtained.
出处
《控制理论与应用》
EI
CAS
CSCD
北大核心
1998年第4期551-557,共7页
Control Theory & Applications
基金
国家自然科学基金
山东省自然科学基金
煤炭部跨世纪学术带头人基金
中国博士后科学基金