摘要
位置/变迁(P/T)网[1]是一个常用的Petri网类,它具有动态、并发和图形直观性等良好特性.因此这类Petri网作为系统模拟与分析的有效工具已在众多领域中得到广泛应用.但对于大系统的分析也是Petri网方法遇到的一个难题.目前处理方法一般有两种:一是Petri网化简方法即在保持网的某些性质不变的前提下,将一个复杂Petri网化为较简单的Petri网[2];二是通过一些较为简单的小网,利用某种运算或组合而得到较为复杂的大网,且在组合过程中,保持网的某些性质不变.
The concept of duality principle and dual mapping is given on Petri net. These duality properties are studied.
出处
《计算机科学》
CSCD
北大核心
2001年第6期123-124,共2页
Computer Science
基金
山东省自然科学基金
关键词
PETRI网
对偶性质
概念
符号
Petri net, Dual Petri net, Element of dual nets, Dual free choce nets
