兹比格尼乌·苏拉吉;科兹兹托夫·潘塞兹 重构由分解的数据表描述的并发系统模型。 （英语） Zbl 1095.68069号 芬丹。通知。 71，第1期，121-137（2006）. 摘要：本文讨论了信息系统随时间变化所描述的并发系统网络模型的重建。构造的网络模型具有有色Petri网的形式。结果网络是在分解的信息系统的基础上构建的。在许多实际情况下，对建模系统的描述会随着时间而变化。出现了关于系统结构和行为的新知识。当出现新的描述时，应根据新知识更改网络模型。本文提出了一种重建网络模型的方法。考虑了许多可能的情况之一，即当建模系统的新全局状态出现时。能够以有效的方式计算新信息系统的约简和组件，作为对建模系统的新描述，这对于重建非常重要。因此，给出了在旧信息系统约简的基础上计算新信息系统约约的一些命题和推论。这些命题和推论是制定计算新约简和分量的算法的基础。此外，给出了一种确定网络模型重建成本的方法。重建成本被视为添加新功能模块、通信线路或其修改的成本。所讨论的模型重建方法扩展和细化了Z.Suraj在1998年提出的方法。本文给出了一个实例来说明所提出的思想。 引用于2文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：信息系统;有色Petri网;数据表分解;模型重建 软件：罗斯康 PDF格式BibTeX公司 XML格式引用 \textit{Z.Suraj}和\textit{K.Pancerz}，Fundam。通知。71，第1号，121--137（2006；Zbl 1095.68069）