基于Petri网嵌入式系统模型的组合与修改

摘要

越来越多的基于抽象和组合机制的Petri网被提出,这些基于模块的结构化系统,由于不能预料到要求的变化,一般会忽视未来模型修改的必要性。这意味着需要修改初始组成模块。提出两种用于描述嵌入式系统组合与修改的的操作,网加和网减运算,以一个结构化的方法,对网进行的必要修改,并使变化有一个低的影响。此操作还可以用于现有的组成构件。两个经典系统的例子说明了这种操作的用法。