Functional Analysis of Process-Oriented Systems
Functional Analysis of Process-Oriented Systems
复制标题
面向过程的系统的功能分析
DOI：
--
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
C. Tepper
中科院分区：
文献类型：
--
作者：
P. Buchholz;C. Tepper
面向过程系统（ProC/B模型）的建模和后续仿真中的一个主要问题是模型的功能正确性。因此，在对模型进行仿真分析之前，应首先对其功能正确性进行分析。Petri网非常适合于基于模型和基于状态的功能分析，但通常不足以或不用于过程模型的规范。本文提出了一个用于从ProC/B模型自动映射到PN的Transformer。所得到的PN模型可以用PN算法进行分析，并且PN分析的结果可以在ProC/B水平上进行解释。
A major problem in modelling and subsequent simulation of process-oriented systems (ProC/B models), is the functional correctness of the model. Therefore a model should be first analysed for its functional correctness before it is analysed by simulation. Petri nets are well suited for model based and state based functional analysis, but are often not adequate or not used for the specification of process models. We present in this paper a transformer for an automatic mapping from ProC/B models onto PNs. The resulting PN-models can be analysed with PN-algorithms and the results from the PN-analysis can be interpreted at the ProC/B level.