卡洛·科明;罗伯托·波塞纳托;罗密欧·里兹 超时间网络。简单时间网络的一个易处理的推广及其与平均支付博弈的关系。 （英语） Zbl 1390.90102号 约束条件 22，第2期，152-190（2017）. 摘要：简单时态网络（STN）提供了一个强大的通用工具，用于表示时序变量有序对上的最大延迟约束的连接。本文引入超时态网络（HyTNs），这是STN的一种严格推广，以克服仅考虑约束连接但在实例一致性检查中保持实际效率的局限性。在超时间网络中，单个时间超弧约束可以定义为一组由两个或多个最大延迟约束组成的约束，当至少满足其中一个延迟约束时，该约束就满足了。HyTN是STN的简单概括，提供了一个有趣的折衷方案。一方面，存在用于检查HyTN的一致性和计算可行调度的实用伪多项式时间算法。另一方面，HyTNs提供了一个更强大的模型，可以适应STN无法表达的自然约束，如“在集合中第一个（最后一个）事件发生之前（之后）分钟触发。”，用于表示文献中提出的某些过程感知信息系统/工作流模型中的同步事件。 引用于6文件 MSC公司： 90B10型 运筹学中的确定性网络模型 90B35型 运筹学中的确定性调度理论 关键词：简单时态网络;时间一致性;超图;伪多项式时间算法;平均回报博弈;析取时态问题;工作流 软件：HyTN公司;PG解算器;github PDF格式BibTeX公司 XML格式引用 \textit{C.Comin}等人，《约束》22，第2期，152--190（2017；Zbl 1390.90102） 全文： 内政部 参考文献： [1] 范德阿尔斯特，W；特霍夫斯泰德，A；基普什维斯基，B；Barros，A，工作流模式，分布式和并行数据库，14，5-51，（2003）·doi:10.1023/A:1022883727209 [2] 巴塔克，R；乔佩克，O；Wilson，D（编辑）；Sutcliffe，G（编辑），《具有备选方案的时间网络：复杂性和模型》，641-646，（2007），基韦斯特 [3] 贝尔曼，R，《关于路由问题》，《应用数学季刊》，第16期，第87-90页，（1958年）·Zbl 0081.14403号 ·doi:10.1090/qam/102435 [4] Bettini，C.、Wang，X.S.和Jajodia，S.（2002）。工作流系统中的时间推理（第11卷）·Zbl 1009.68032号 [5] 比约克隆德，H；Vorobyov，S，均值支付博弈的组合强次指数策略改进算法，离散应用数学，155210-229，（2007）·Zbl 1176.68087号 ·doi:10.1016/j.dam.2006.04.029 [6] Brim，L；Chaloupka，J，《使用策略改进来生存》，《国际计算机科学基础杂志》，23，585-608，（2012）·Zbl 1246.91024号 ·doi:10.1142/S0129054112400291 [7] Brim，L；查洛普卡，J；Doyen，L；Gentilini，右；Raskin，JF，Mean-payoff游戏的快速算法，系统设计中的形式化方法，38，97-118，（2011）·Zbl 1213.68430号 ·文件编号：10.1007/s10703-010-0105-x [8] Chinn，SJ；Madey，GR，工程设计变更评审中工作流的时间表示和推理，IEEE工程管理汇刊，47485-492，（2000）·数字对象标识代码：10.1109/17.895343 [9] Combi，C；甘比尼，M；Migliorini，S；Posenato，R，《时序、数据中心医疗过程建模》，141-150，（2012），纽约·doi:10.1145/2110363.2110382 [10] 康比，C；甘比尼，M；Migliorini，S；Posenato，R，《通过以时间为中心的工作流建模语言表示业务流程：临床路径管理的应用》，IEEE Transactions on Systems，Man，and Control netics:Systems，44，1182-1203，（2014）·doi:10.1109/TSMC2014.2300055 [11] Combi，C；戈齐，M；波塞纳托，R；Pozzi，G，灵活时态工作流的概念建模，ACM事务自治自适应系统，7，19:1-19:29，（2012）·doi:10.1145/2240166.2240169 [12] Combi，C.和Posenato，R.（2009年）。时间概念工作流模式中的可控性。在BPM 2009-第七届业务流程管理会议记录（第64-79页）。doi:10.1007/978-3-642-03848-86。 [13] Combi，C；Pozzi，G，暂时工作流管理系统的架构，659-666，（2004），纽约·doi:10.1145/967900.968040 [14] Comin，C.（2015）。HyTN一致性检查算法在C++中的实现。http://profs.scienze.univr.it/posenato/software/hytn/2015_v1_Code.tgz。 [15] Comin，C.、Posenato，R.和Rizzi，R.（2014）。简单时间网络的一个易处理的推广及其与平均支付博弈的关系。在第21届时间表征与推理国际研讨会（TIME 2014）（第7-16页）：IEEE CPS。doi:10.1109/TIME.2014.19·Zbl 1390.90102号 [16] Comin，C.和Rizzi，R.（2015）。基于平均支付博弈的条件简单时间网络的动态一致性：单指数时间DC选择。在第22届时间表征与推理国际研讨会（TIME 2015）（第19-28页）：IEEE CPS。doi:10.1109/TIME.2015.18。 [17] Cormen，T.H.、Leiserson，C.E.、Rivest，R.L.和Stein，C.（2001）。麻省理工学院出版社的算法简介·Zbl 1047.68161号 [18] Dechter，R；梅里，我；Pearl，J，时间约束网络，人工智能，49，61-95，（1991）·Zbl 0737.68070号 ·doi:10.1016/0004-3702（91）90006-6 [19] 埃德尔，J；格鲁伯，W；帕纳戈斯，E；易卜拉欣，M（编辑）；Küng，J（编辑）；Revell，N（ed.），带条件执行路径的工作流时间建模，243-253，（2000），柏林·数字对象标识代码：10.1007/3-540-44469-6_23 [20] 埃德尔，J；帕纳戈斯，E；拉宾诺维奇，M；Jarke，M（编辑）；Oberweis，A（编辑），工作流系统中的时间约束，286-300，（1999），柏林·doi:10.1007/3-540-48738-7_22 [21] 埃伦菲赫特，A；Mycielski，J，Mean paiff games的位置策略，国际博弈论杂志，8109-113，（1979）·Zbl 0499.90098号 ·doi:10.1007/BF01768705 [22] Ford Jr.，L.R.和Fulkerson，D.R.（1962年）。网络中的流量第三卷：普林斯顿大学出版社·Zbl 0106.34802号 [23] Gonzalez del Foyo，P.M.和Reinaldo Silva，J.（2008）。使用时间Petri网对时间受限的工作流系统进行建模和验证，ABCM机电一体化系列研讨会（第471-478页）。巴西：圣保罗大学机电系。 [24] Garey，M.R.和Johnson，D.S.（1979年）。计算机与难处理性：NP完全性理论指南纽约：弗里曼·Zbl 0411.68039号 [25] Hollingsworth，D.（1995）。工作流参考模型。http://www.wfmc.org/standards/model.htm。 [26] Hunsberger，L.、Posenato，R.和Combi，C.（2015）。一种基于声音和完全传播的算法，用于检查条件简单时态网络的动态一致性。在Grandi，F.、Lange，M.和Lomuscio，A.（编辑），第22届时间表征与推理国际研讨会（TIME 2015）（第4-18页）。IEEE标准。doi:10.1109/TIME.2015.26。 [27] Jurdziñski，M，《决定平价游戏的胜利者》，《信息处理快报》，68，119-124，（1998）·Zbl 1338.68109号 ·doi:10.1016/S0020-0190（98）00150-1 [28] 哈提卜，L；莫里斯，P；莫里斯，R；罗西，F，带偏好的时间约束推理，322-327，（2001），旧金山 [29] 哈提卜，L；莫里斯，P；莫里斯，R；罗西，F；斯佩尔杜蒂，A；Venable，KB，《解决和学习一类易处理的软时间约束：理论和实验结果》，AI Communications，20181-209，（2007）·Zbl 1143.68545号 [30] Koubarakis，M，《时间约束网络中从局部到全局的一致性》，《理论计算机科学》，17389-112，（1997）·Zbl 0902.68016号 ·doi:10.1016/S0304-3975（96）00192-2 [31] Lanz，A.和Reichert，M.（2014）。使用atapis工具集启用时间感知流程支持。在Limonad，L.和Weber，B.（编辑）中，2014年BPM演示会议记录，CEUR研讨会记录，（第1295卷，第41-45页）：CEUR。 [32] 兰兹，A；韦伯，B；Reichert，M，《过程软件信息系统的时间模式》，需求工程，19，113-141，（2012）·doi:10.1007/s00766-012-0162-3 [33] Lifshits，Y；巴甫洛夫，D，平均收益博弈的势能理论，《数学科学杂志》，1454967-4974，（2007）·doi:10.1007/s10958-007-0331-y [34] 孟德林，J；Reijers，HA；van der Aalst，WMP，七个过程建模指南（7PMG），信息和软件技术，52，127-136，（2010）·doi:10.1016/j.infsof.2009.08.004 [35] 梅林，P；DJ Farber，《通信协议的可恢复性——理论研究的影响》，IEEE通讯汇刊，241036-1043，（1976）·Zbl 0362.68096号 ·doi:10.1109/TCOM.1976.1093424 [36] 莫里斯，P；Muscettola，N；Vidal，T，《具有时间不确定性的计划的动态控制》，494-499，（2001），旧金山 [37] 帕尼，A；Bhattacharjee，G，人工智能中的时间表示和推理：综述，数学和计算机建模，34，55-80，（2001）·Zbl 0990.68109号 ·doi:10.1016/S0895-7177（01）00049-8 [38] Papadimitriou，C.H.（1994）。计算复杂性，Addison-Wesley·Zbl 0833.68049号 [39] pgsolver：奇偶游戏解算器的pgsolver集合。https://github.com/tcsprojects/pgsolver (2013). [40] Satish Kumar，T.K.（2005）。关于限制析取时态问题的可处理性。在ICAPS 2005-第15届国际自动规划和调度会议记录（第110-119页）。 [41] Schewe，S.（2008）。求解平价和支付博弈的最优策略改进算法。在Kaminski，M.和Martini，S.（编辑）中，计算机科学逻辑（第5213卷，第369-384页）。施普林格。doi:10.1007/978-3-540-87531-4_27·Zbl 1156.68478号 [42] Schewe，S.、Trivedi，A.和Varghese，T.（2015）。对称战略改进。在Halldórsson，M.M.，Iwama，K.，Kobayashi，N.和Speckmann，B.（编辑），自动化、语言与编程——第42届国际学术讨论会，ICALP 2015，日本京都，2015年7月6日至10日，会议记录，第二部分，计算机科学讲义（第9135卷，第388-400页）。施普林格。doi:10.1007/978-3-662-47666-6_31·Zbl 1440.91005号 [43] 史密斯，D；弗兰克，J；Jónsson，A，《弥合计划与进度之间的差距》，《知识工程评论》，第15期，第47-83页，（2000年）·doi:10.1017/S0269888900001089 [44] 斯特吉奥，K；Koubarakis，M，时间约束析取的回溯算法，人工智能，12081-117，（2000）·Zbl 0945.68038号 ·doi:10.1016/S0004-3702（00）00019-9 [45] Tsamardinos，我；维达尔，T；Pollack，ME，Ctp:一种新的基于约束的有条件时间规划形式，约束，8365-388，（2003）·Zbl 1074.68616号 ·doi:10.1023/A:1025894003623 [46] 维达尔，T；Fargier，H，《处理时间约束网络中的偶然事件：从一致性到可控性》，《实验与理论人工智能杂志》，11，23-45，（1999）·Zbl 1054.68664号 ·doi:10.1080/095281399146607 [47] 兹威克，U；Paterson，M，图上平均支付博弈的复杂性，理论计算机科学，158343-359，（1996）·Zbl 0871.68138号 ·doi:10.1016/0304-3975（95）00188-3 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。