Kees M.van Hee。;纳塔利亚·西多罗娃;范德沃夫，扬·马蒂恩 使用多工作流网络优化可同步位置。 （英语） Zbl 1283.68261号 芬丹。通知。 122，编号1-2，59-83（2013）. 摘要：逐步细化是系统建模中一种众所周知的策略。细化规则应该保留基本的行为属性，例如死锁自由度、有界性和弱终止性。一个著名的例子是用完善的工作流网络替换Petri网的安全位置的优化规则。在这种情况下，优化位置上的令牌将经历一个由优化工作流网络详细建模的过程。我们将这一规则推广到基于组件的系统，在第一次高级精化迭代中，我们经常在不同的组件位置遇到，这些组件实际上代表了组件“同时”执行的同一过程的对应部分。该程序涉及这些部件之间的通信。我们将这样一个过程建模为一个多工作流网络，它实际上是通信工作流的组成部分。行为正确的多工作流网络具有弱终止特性。弱终端要求也适用于正在改进的系统。我们希望使用多工作流网络优化不同组件中的选定位置，以便通过优化保留弱终止属性。我们引入了可同步位置的概念，并证明了在多功位置的加细下，弱终止保持当且仅当加细位置是可同步的。我们给出了一种确定给定位置集是否可同步的方法。 MSC公司： 68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等） 软件：沃夫兰 PDF格式BibTeX公司 XML格式引用 \textit{K.M.van Hee}等人，Fundam。通知。122，编号1--2，59-83（2013；Zbl 1283.68261） 全文： 内政部