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

The Model Compositon and Modification of Embedded Systems Based on Petri net

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

More and more abstraction and composition mechanism have been proposed for Petri nets, These structured systems based on module but typically overlook the necessity of future model modifications due to unanticipated changes in requirements.These can imply modifications across several of the initially composed modules.This paper proposes two composition and modification operations for embedded systems representation, net addition and net subtraction, that allow the introduction of the necessary modifications in a structured method,and have a low impact.The operations can even be used concomitantly with the existent composition constructs.Two application examples are presented to illustrate the use of the proposed operations.