摘要
本文提出 Petri网的共享路径合成网的概念 ,研究了合成网对子网的活性和公平性继承关系 ,最后给出一种实现共享路径合成网活性和公平性的控制装置 .这些结果为网系统合成提供了有力手段 。
A shared path composition net via sharing of places and transitions fo r two Petri nets is defined in this paper . The conditions for preserving bounde dness, liveness and fairness of the shared path composition net of two Petri n ets are discussed. If a shared path composition net is not live or not fair, a c ontrol device for implementing liveness and fairness is presented. The compositi on method is illustrated by an example of sharing path composition of two discre te manufacturing system. These results are useful for studying composition of di screte concurrent systems and examining the behavior characters of composition nets.
出处
《小型微型计算机系统》
CSCD
北大核心
2000年第9期997-1000,共4页
Journal of Chinese Computer Systems
基金
山东省自然科学基金资助课题
关键词
PETRI网
活性
公平性
共享路径合成网
Petri net
Shared path composition
Liveness
Fairness
Preservation
