×

时间弧Petri网中有很强的行为相似性。 (英语) Zbl 1427.68213号

摘要:过程相似性的概念在最近的文献中引起了许多研究者的关注,因为它衡量了过程的接近程度。因此,相似性对于大型存储库的有效管理非常有用,因为它们允许我们在数百或数千个可能的候选对象中找到合适的流程模型。然而,当定义这些相似性度量时,通常会忽略时间约束,因此在本文中,在Petri网的时间扩展上定义了两个相似性度量,即所谓的时间弧Petri网,在该网中,令牌被分配了一个年龄,表示从创建到转换弧的时间,以及PT-arcs(位置到转换弧)标记有时间间隔,用于限制可用于触发相邻转换的令牌的使用期限。

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)

软件:

TAPAAL公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] van der Aalst,W.M.P.,区间时间有色petri网及其分析,Lect。注释计算。科学。,691, 451-472 (1993)
[2] 阿卜杜拉,P.A。;Nyln,A.,时间petri网和BQO,应用。理论Petri网Lect Notes计算。科学。,2075, 53-70 (2001) ·Zbl 0986.68092号
[3] 医学硕士Marsan。;Balbo,G。;鲍比奥,A。;Chiola,G。;孔戴,G。;Cumani,A.,《关于随机定时的petri网》,《定时petri网国际研讨会论文集》,80-87(1985),IEEE计算机社会出版社
[4] de Medeiros,A.K.A。;范德阿尔斯特,W.M.P。;Weijters,A.J.M.M.,基于观察到的行为量化过程等效性,数据知识。《工程师杂志》,64,1,55-74(2008)
[5] 安徒生,M。;Larsen,H.G。;斯尔巴,J。;瑟伦森,M.G。;Taankvist,J.H.,《封闭时间弧petri网活性特性验证》,第八届计算机科学数学与工程方法年度博士研讨会论文集(MEMICS’12),计算机科学讲义,第7721卷,第69-81页(2013)
[6] Bae,J。;刘,L。;Caverley,J。;张,L。;Bae,H.,《过程挖掘、发现和集成的距离度量开发》,国际期刊Web服务。第4、4、1-17号决议(2007年)
[7] 博洛涅西,T。;Lucidi,F。;Trigila,S.,《从定时petri网到定时LOTOS》,第十届国际IFIP WG6.1协议规范、测试和验证研讨会论文集,北荷兰,1-14(1990)
[8] Bowden,F.D.J.,petri网建模时间,第二届澳大利亚-日本随机模型研讨会论文集(1996)
[9] Cerone,A。;Maggiolo-Schettini,A.,系统规范的时间petri网的基于时间的表示性,Theor。计算。科学。,216,1-2,1-53(1999年)·Zbl 0914.68145号
[10] Chavarría-Baéz,L。;Li,X.,主动规则验证的基于petri网的度量,第23届IEEE人工智能工具国际会议论文集,922-923(2011),IEEE计算机社会出版社
[11] 大卫·A。;雅各布森,L。;雅各布森,M。;约根森,K.Y。;莫勒,M.H。;Srba,J.,TAPAAL 2.0:时弧petri网的集成开发环境,第18届系统构造和分析工具和算法国际会议论文集(TACAS’12),计算机科学讲义,7214,492-497(2012)·Zbl 1352.68181号
[12] 水果,D。;瓦莱罗,V。;Marroquin,O.,时间弧petri网属性的可判定性,应用。理论Petri网。注释计算。科学。,1825, 187-206 (2000) ·兹比尔0986.68077
[13] R.M.Dijkman、M.Dumas、L.García-Bañuelos。业务流程模型相似性搜索的图形匹配算法。《第七届国际会议论文集》,《业务流程管理会议(BPM)》,《计算机科学讲义》,第5701卷,第4863页。2009.; R.M.Dijkman、M.Dumas、L.García-Bañuelos。业务流程模型相似性搜索的图形匹配算法。《第七届国际会议论文集》,《业务流程管理会议(BPM)》,《计算机科学讲义》,第5701卷,第4863页。2009
[14] Emmert-Streib,F。;Dehmer,M。;石毅,图匹配、网络比对和网络比较五十年,信息科学。科学。直接,346-347180-197(2016)·Zbl 1398.68393号
[15] Hanisch,H.M.,带时间弧的位置/转移网络分析及其在批处理过程控制中的应用,应用。理论Petri网,Lect。注释计算。科学。,691, 282-299 (1993)
[16] 雅各布森,L。;雅各布森,M。;莫勒,M.H。;Srba,J.,《时弧petri网的验证》,《2011年SOFSEM会议录》,《计算机科学理论与实践》,计算机科学讲义,第6543卷,第46-72页(2011年)·Zbl 1298.68175号
[17] Mao,C.,web服务组合中基于petri网的业务流程的复杂性分析,第五届面向服务系统工程国际研讨会论文集,IEEE计算机学会,193-196(2010)
[18] Merlin,P.,《通信协议可恢复性研究》(1974),加利福尼亚大学,博士。论文
[19] 尼尔森,M。;萨索内,V。;Srba,J.,分布式时弧petri网的特性,第21届软件技术和理论计算机科学基础国际会议论文集(FSTTCS’01),计算机科学讲稿,2245280-291(2001)·Zbl 1052.68639号
[20] Ramchandani,C.,《用定时Petri网对异步并发系统进行性能评估》(1973年),麻省理工学院:麻省理工科大学剑桥分校,博士。论文
[21] Rosemann,M.,《过程建模的潜在陷阱:b部分,总线》。流程管理。J.,12,3,377-384(2006)
[22] 瓦莱罗,V。;de Frutos Escrig,D。;Cuartero,F.,关于时间弧petri网可达性的不可判定性,第八届会议论文集。Petri网和性能模型国际研讨会(PNPM'99),188-196(1999)
[23] 瓦莱罗,V。;Maciá,H.,移除时间弧petri网中的死跃迁,动态系统的数学和计算机建模,第15卷,69-82(2009)·Zbl 1156.93361号
[24] 瓦莱罗,V。;J.J.帕尔多。;Cuartero,F.,《将TPAL规范转换为时间弧petri网》,应用。理论Petri网。注释计算。科学。,2360, 414-433 (2002) ·Zbl 1047.68090号
[25] V.Valero,J.J.Pardo,TPAL工具,卡斯蒂利亚-拉曼恰大学计算机科学系。http://www.dsi.uclm.es/investigacion/retics/tools/tools.htm+; V.Valero,J.J.Pardo,TPAL工具,Castilla-La Mancha大学计算机科学系。http://www.dsi.uclm.es/investigacion/retics/tools/tools.htm+
[26] Wang,J。;他,T。;Wen,L。;Wu,N。;Hofstede,A.H.M.t。;Su,J.,基于主转移序列的标记petri网之间的行为相似性度量,6426,394-401(2010)
[27] 王,Z。;Wen,L。;Wang,J。;Wang,S.,TAGER:过程模型上的转换标记图编辑距离相似性度量。,884184-2018(2014)
[28] 查,H。;Wang,J。;Wen,L。;王,C。;Sun,J.,基于过渡邻接关系的工作流网络相似性度量,计算。印度,61,463-471(2010)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。