4、工业信息系统中的基于场景的建模

工业信息系统中的基于场景的建模

1. 引言

在工业环境中，对现有的工业信息系统进行重新设计以支持流程的重大变更或提高其性能，通常是一项极其敏感的操作。直接修改系统并测试这些更改对产品数量和质量的影响是不可行的，因为这可能会导致巨大的损失。此外，一些工业信息系统本质上非常复杂，它们需要在分布式环境中协调控制、数据和通信，其操作对业务和安全都至关重要。

对于大多数正在运行的工业信息系统来说，往往没有可以直接用于分析系统的模型。即使存在模型，它也可能无法完全反映系统的实际情况，因为系统结构和行为的维护变更没有在模型中得到体现。因此，工业组织迫切需要获取在用系统模型的技术。

本文提出了一种针对现有工业信息系统获取行为模型的方法。该方法采用了三种不同的工具：
- 规则 ：以自然语言的文本形式描述系统的现状（“现状”方法）或应有的状态（“目标”方法），从而隐含地指定系统应满足的要求。
- 快照 ：以直观的图形符号形式展示系统与环境之间的交互场景，说明所定义规则的应用案例。
- 有色Petri网（CP - nets） ：为快照赋予形式化和可执行的特性，这是实现推理能力的关键特征。

2. 案例研究

本研究的所有内容都与汽车收音机生产线相关。每台汽车收音机都放置在一个托盘上，托盘在生产线上的运行轨迹由自动控制系统管理。运输系统由多个滚动传送带组成，用于将收音机输送到各个加工站点。

生产线由6条运输轨道组成，其中3条在高层（LA、LB、LC），3条在低层（LD、LE、LF）。高层轨道从左向右运输