摘要
1 引言
Petri网理论是由联邦德国的Carl Adam Petri于1962年在其博士论文中提出的一种建模方法.最初的网理论称为条件/事件网(CE-nets).在随后的几年中,人们对新的网模型、网的基本概念及分析方法等进行了大量的研究.其中最有影响的是位置/变迁网(PT-nets),PT-nets后来命名为Petri网(Petri Net).这些早期的网模型在理论上都归结为基本网(EN-nets).研究者通过对PT-nets进行了扩展,在网中增加了变迁的优先级、时间延迟、全程变量等一些概念以满足解决实际应用建模的具体要求.
After giving the formal description of Petri net,this paper presented the formal definition of CPN rather comprehensive and introduced CPN modeling tool Design/CPN for Linux. Taking the salesman problem in artificial intellingence as an example,we defined CPN model of the example in CPN formal method. Our paper ended with the implementation of visual model and analysis of the made model to show a variety of applications of CPN in systems modeling and analysis.
出处
《计算机科学》
CSCD
北大核心
2001年第1期65-69,共5页
Computer Science