范希、基斯;奥利维娅·奥内亚;亚历山大·谢列布雷尼克;纳塔利亚·西多罗娃;马克·沃霍夫;伊琳娜·洛马佐娃（Irina A.Lomazova）。 检查自适应工作流网络的属性。 （英语） Zbl 1124.68062号 芬丹。通知。 79，编号3-4347-362（2007）. 摘要：我们考虑自适应工作流网络，这是一类嵌套网络，它为工作流网络中的建模适应性和异常处理提供了更舒适和更具表现力的能力。我们定义了自适应工作流网络的两个重要行为属性：稳健性和谨慎性。健全性意味着从初始标记可以到达的任何标记都可以达到适当的最终标记（状态），并且不会留下任何垃圾。谨慎意味着上层总是准备好处理下层可能发生的任何异常。我们为自适应工作流网络定义了一个有限状态抽象，并表明可以在该抽象上验证其合理性和谨慎性。 引用于6文件 理学硕士： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：验证;自适应工作流;可靠性;谨慎 软件：沃夫兰 PDF格式BibTeX公司 XML格式引用 \textit{K.van Hee}等人，Fundam。通知。79，编号3--4，347--362（2007；Zbl 1124.68062）