摘要
Petri网的进程网系统是为了描述Petri网特别是无界Petri网的进程行为而提出的一个重要概念。一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集 ,以各个基本进程段集的输入和输出库所集的并集为新的库所集 ,以原网系统的初始标识为初始标识而得到的一个新的网系统。本文在借助进程网系统的概念 ,讨论了一个Petri网同它的进程网系统在可达性、有界性、公平性、活性等方面的对应关系。
The process net system of a Petri net is an important concept presented describing the process behavior of a Petri net.The process net system of a Petri net is a new net system,the transition set of which is a set of basic process sections,and the place set is the union of input place sets and output place sets for all basic process sections of the original net system.It can be used to describe the set of subjective process of any Petri net(bounded or unbounded).In this paper,we analyze the relationship of properties between the process net system and its original system
出处
《山东科技大学学报(自然科学版)》
CAS
2003年第2期11-15,共5页
Journal of Shandong University of Science and Technology(Natural Science)
基金
国家自然科学基金资助项目 ( 6 0 1730 5 3
6 98730 2 9)