层次结构的Petri网

作者：郝克刚; 丁剑洁

来源：计算机科学与探索, 2008, (02): 123-130.

• Petri网
• 层次结构
• 位置精化网
• 转移精化网
• 对象网
• 着色网
• 开放网 Petri net
• hierarchy
• place refinement
• transition refinement
• object Petri net
• colored Petri net
• open net

Petri网是一个很好地描述与分析并行系统的模型。但在实际应用中,如果系统过大或较复杂时,会遇到结点数过多的问题。介绍了着色网和几种层次结构的Petri网,包括位置/转移精化网、对象网以及开放网等;分析和比较了这几种模型用以减少结点数和引入层次结构的方法,而且从结构上讨论了它们相互之间的关系。

• 单位
  西北大学