×
何塞·安东尼奥·马特奥;吉·斯尔巴;Sørensen、Mathias Grund

时间弧工作流网络的健全性。 （英语） Zbl 1334.90064号

Ciardo，Gianfranco（编辑）等人，Petri网和并发的应用和理论。第35届国际会议，PETRI NETS 2014，突尼斯突尼斯，2014年6月23日至27日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-07733-8/pbk）。计算机科学课堂讲稿8489，51-70（2014）。
摘要：在许多时间关键型应用程序中，对工作流过程进行定量分析（如时间安排）非常有趣。我们提出了一个基于时间弧Petri网的工作流模型，并研究了稳健性和强（有时间限制）稳健性的基本问题。我们探讨了这些问题的可判定性，并表明，除其他外，对于单调的工作流网络，可靠性是可判定的，而可达性是不可判定的。对于一般的定时弧工作流网络，尽管我们可以为有界网络的子类设计有效的验证算法，但稳健性和强稳健性是不可判定的。最后，我们通过飞机认证中使用的制动系统控制单元、MPEG2编码算法和输血工作流的案例研究，展示了我们的理论的可用性。算法的实现是作为模型检查器TAPAAL的一部分免费提供的。
关于整个系列，请参见[Zbl 1291.68014号].

引用于1文件

MSC公司：

90B70型 组织理论，运筹学中的人力规划
60年第68季度 规范和验证（程序逻辑、模型检查等）
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

软件：

TAPAAL公司
PDF格式BibTeX公司 XML格式引用
\textit{J.A.Mateo}等人，Lect。注释计算。科学。8489、51-70（2014年；Zbl 1334.90064）
全文： 内政部

参考文献：

[1] Andersen，M.、Gatten Larsen，H.、Srba，J.、Grund Sörensen，M.和Haahr Taankvist，J.：闭时弧Petri网活性性质的验证。收录于：库切拉，A.，亨廷格，T.A.，内什etřil，J.，沃伊纳尔，T.，安托什，D.（编辑）MEMICS 2012。LNCS，第7721卷，第69-81页。斯普林格，海德堡（2013）·Zbl 06470242号 ·doi:10.1007/978-3-642-36046-68
[2] Bertolini，C.，Liu，Z.，Srba，J.：使用组件时弧Petri网验证定时医疗工作流。收录：Weber，J.，Perseil，I.（编辑）FHIES 2012。LNCS，第7789卷，第19-36页。斯普林格，海德堡（2013）·Zbl 06321033号 ·doi:10.1007/978-3-642-39088-32
[3] Bolognesi，T.、Lucidi，F.、Trigila，S.：从定时Petri网到定时LOTOS。收录于：PSTV 1990，第1-14页。荷兰北部，阿姆斯特丹（1990年）
[4] Christov，S.C.、Avrunin，G.S.、Clarke，A.L.、Osterweil，L.J.、Henneman，E.A.：评估用于改进医疗过程的软件工程技术的基准。摘自：SEHC 2010，第50-56页。ACM（2010）·doi:10.1145/1809085.1809092
[5] David，A.，Jacobsen，L.，Jacobsen，M.，Jörgensen，K.Y.，Möller，M.H.，Srba，J.：TAPAAL 2.0：时弧Petri网的集成开发环境。在：Flanagan，C.，König，B.（编辑）TACAS 2012。LNCS，第7214卷，第492-497页。斯普林格，海德堡（2012）·Zbl 1352.68181号 ·doi:10.1007/978-3-642-28756-5_36
[6] Dickson，L.E.：具有不同因子的奇完全富足数和原始富足数的有限性。《美国数学杂志》35113-422（1913）·JFM 44.0220.02号 ·doi:10.2307/2370405
[7] Du，Y.，Jiang，C.：面向实时协作系统的工作流模型。作者：Dong，J.S.，Woodcock，J.（编辑）ICFEM 2003。LNCS，第2885卷，第452-470页。斯普林格，海德堡（2003）·doi:10.1007/978-3-540-39893-6_26
[8] Flender，C.，Freytag，T.：可视化工作流网络的可靠性。收录于：AWPN 2006，汉堡大学信息学系，第267卷（2006）
[9] Hanisch，H.M.：带时间弧的位置/过渡网络分析及其在批处理过程控制中的应用。In:Ajmone Marsan，M.（编辑）ICATPN 1993。LNCS，第691卷，第282-299页。斯普林格，海德堡（1993）·doi:10.1007/3-540-56863-8_52
[10] Ling，S.，Schmidt，H.：用于工作流建模和分析的时间Petri网。收录于：SMC 2000，第4卷，第3039–3044页。IEEE（2000）
[11] Pelayo，F.L.，Cuartero，F.，Valero，V.，Macia，H.，Pelayou，M.L.：应用时间弧Petri网提高MPEG-2编码算法的性能。收录于：MMM 2004，第49-56页。IEEE（2004）·doi:10.1109/MULMM.2004.1264966
[12] Sieverding，S.，Ellen，C.，Battram，P.：时序图测试用例规范和使用时弧Petri网的虚拟集成分析。纳入：FESCA 2013。EPTCS，第108卷，第17-31页（2013年）·doi:10.4204/EPTCS.108.2
[13] Tiopse，F.L.，Macovei，G.：定时工作流网络。摘自：SYNASC 2005，第361-366页。IEEE计算机学会（2005）·doi:10.1109/SYNASC.2005.75
[14] Tiopse，F.L.，Macovei，G.：E-timed工作流网络。收录于：SYNASC 2006，第423-429页。IEEE计算机学会（2006）·doi:10.1109/SYNASC.2006.33
[15] Tiopse，F.L.，Macovei，G.：s和a-timed工作流网络的可靠性是不可判定的。IEEE传输。《系统、人与控制论》39（4），924–932（2009）·doi:10.1109/TSMCA.2008.2010304
[16] van der Aalst，W.M.P.：工作流网络的验证。In:Azéma，P.，Balbo，G.（编辑）ICATPN 1997。LNCS，第1248卷，第407-426页。斯普林格，海德堡（1997）·doi:10.1007/3-540-63139-948
[17] van der Aalst，W.M.P.：Petri网在工作流管理中的应用。电路、系统和计算机杂志8（1），21-66（1998）·doi:10.1142/S0218126698000043
[18] van der Aalst，W.M.P.，van Hee，K.，ter Hofstede，A.H.M.，Sidorova，N.，Verbeek，H.M.W.，Voorhoeve，M.，Wynn，M.T.：工作流网络的可靠性：分类、可判定性和分析。薪酬的形式方面。 23(3), 333–363 (2011) ·兹比尔1225.68129 ·文件编号：10.1007/s00165-010-0161-4
[19] Valero，V.，Cuartero，F.，de Frutos-Escrig，D.：关于时弧Petri网可达性的不可判定性。收录于：PNPM 1999，第188-196页。IEEE（1999）·doi:10.1109/PNPM.1999.796565
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。