摘要
资源共享是子Ｐｅｔｒｉ网耦合为总网的一种途径，其中对资源循环共享是其重要方式之一．为了研究Ｐｅｔｒｉ网的形式化方法，必须首先研究基本子Ｐｅｔｒｉ网的设计，而后研究子Ｐｅｔｒｉ网的耦合．以往的研究多集中于竞争共享资源的方式上，很少涉及循环共享，本文在以往工作的基础上，提出了资源循环共享的Ｐｅｔｒｉ网设计的形式化方法，并给出了两个实例，举例说明了上述形式化设计方法．
Resources-sharing is a way that sub-Petri nets are constructed into the general net,and the loop-shared resources is one of the important modes. This paper presents the formal design method of Petri net of the loop-shared resources based on previous work,and two examples are given to illustrate this formal design method.
出处
《计算机学报》
EI
CSCD
北大核心
1995年第8期617-625,共9页
Chinese Journal of Computers
基金
国家自然科学基金
