摘要
无环Petri网的结构性质赵正义宋文忠(东南大学自动化研究所,南京210018)无环Petri网是一类特殊的Petri网,在研究离散事件动态系统(DEDS)的控制问题时经常会遇到,如文[1]中的结构无竞争无环Petri网,文[2]中的广义树结构均属...
A sufficient and necessary condition of acyclic Petri nets is given.The characteristics of the graph structures and the matrix structures of acyclic Petri nets are analyzed.Some properties about the reachable states of acyclic Petri nets are shown.An efficient algorithm to calculate the ultimate state of a structurally conflict free acyclic Petri net is proposed.
出处
《东南大学学报(自然科学版)》
EI
CAS
CSCD
1996年第4期122-125,共4页
Journal of Southeast University:Natural Science Edition
基金
江苏省自然科学基金资助项目