×
鲁法明;陶然;杜宇月;曾青田;鲍云霞

无界Petri网面向死锁检测的展开。 （英语） Zbl 1451.68192号

信息科学。 497, 1-22 (2019).
摘要：状态空间爆炸阻碍了大规模系统分析的Petri网。为了解决这个问题，网络展开技术引起了人们的极大关注。然而，现有的技术不适用于无界Petri网的死锁检测。为了解决这个问题，本文提出了一种面向死锁检测的无界网络展开（（D^2U））技术\与解决死锁检测问题的传统方法相比，（D^2U）具有以下优点：；（2） 当满足某些条件时，（D^2U）可以完全决定死锁的存在；与无界Petri网的传统展开技术不同，（D^2U）不包含伪标记。介绍了D^2U的构造方法及其在无界网死锁检测中的应用。

MSC公司：

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

关键词：

Petri网;国家空间爆炸;网络展开;死锁检测;离散事件系统
PDF格式BibTeX公司 XML格式引用
\textit{F.Lu}等人，《信息科学》。497，1-22（2019年；Zbl 1451.68192）
全文： 内政部

参考文献：

[1] 阿卜杜拉，P.A。；Iyer，S.P。；Aletta，N.，《无界Petri网的展开》（Emerson，E.A.；Sistla，A.P.，《计算机辅助验证国际会议论文集》，CAV 2000，芝加哥，伊利州，美国（2000），Springer:Springer Berlin，海德堡），495-507，《计算机科学讲义》，第1855卷·Zbl 0974.68528号
[2] Bai，L.P。；吴新奇。；李振伟。；Zhou，M.C.，线性拓扑单臂多集群工具的最优单晶圆周期调度和缓冲空间配置，IEEE Trans。系统。人类网络。系统。，46, 10, 1456-1467 (2016)
[3] 巴考伊，K。；库夫勒，J.M。；Klai，K.，《关于petri网中活性和无死锁之间的等价性》，（Ciardo，G.；Darondeau，P.，《petri网的应用和理论》，3536（2005），Springer:Springer-Blin），90-107，（计算机科学讲义）。施普林格，柏林，2005·Zbl 1128.68058号
[4] 巴考伊，K。；Pradat Peyre，J.F.，《关于Petri网中的活性和受控虹吸管》，（第17届Petri网应用与理论国际会议论文集，1091（1996），施普林格：施普林格柏林），57-72，（计算机科学讲义），日本大阪，6月24日至28日·Zbl 1418.68131号
[5] 博内，B。；哈斯鲁姆，P。；希克莫特，S。；Thiébaux，S.，《Petri网的定向展开，Petri网和其他并发模型的事务I》，1172-198（2008），施普林格：施普林格柏林，计算机科学讲义，5100·Zbl 1171.68562号
[6] 博内，B。；哈斯鲁姆，P。；Khomenko，V。；蒂埃鲍克斯，S。；Vogler，W.，《展开技术的最新进展》，Theor。计算。科学。，551，84-101（2014）·Zbl 1360.68628号
[7] T.Chatain，L.Paulevé，目标驱动的Petri网展开，计算机科学[cs.LO]，2016，arXiv:1611.01296；T.Chatain，L.Paulevé，目标驱动的Petri网展开，计算机科学[cs.LO]，2016，arXiv:1611.01296
[8] 陈，Y。；Li，Z。；AI-Ahmari，A。；Wu，N。；Qu，T.，用Petri网建模的柔性制造系统死锁恢复，信息科学。，381，C，290-303（2016）·Zbl 1429.90019号
[9] Chen，Y.F。；李泽伟。；巴考伊，K。；吴新奇。；周，M.C.，用带数据约束弧的Petri网实现离散事件系统的紧凑监督控制，IEEE Trans。系统。人类网络。系统。，47, 2, 364-379 (2017)
[10] Chu，F。；Xie，X.L.，使用信标和数学编程的Petri网死锁分析，IEEE Trans。机器人。自动。，13, 6, 793-804 (2007)
[11] 戴塞尔，J。；Juhás，G。；Neumair，C.，无界Petri网的有限展开，（2004年国际Petri网应用与理论会议论文集，ICATPN 2004，意大利博洛尼亚，2004年6月21日至25日（2004），DBLP），157-176·Zbl 1094.68061号
[12] 丁，Z。；江，C。；Zhou，M.C.，基于修改可达树的一处无界Petri网的死锁检查，IEEE Trans。系统。人类网络。B部分，38，3，881-883（2008）
[13] Engelfriet，J.，《Petri网的分支过程》（1991），Springer-Verlag，纽约公司·兹比尔0743.68106
[14] 埃斯帕尔扎，J。；Vogler，W.，《麦克米兰展开算法的改进》（Margaria，T.；Steffen，B.，《系统构建和分析的工具和算法》，TACAS（1996），Springer:Springer-Berlin，Heidelberg），1055，计算机科学讲义
[15] 胡，Q。；杜，Y。；Yu，S.，基于逻辑petri网的服务网代数，信息科学。，268, 6, 271-289 (2014) ·Zbl 1341.68130号
[16] 杰泽克尔。；Madalinski，A。；Schwoon，S.，《为测试选择展开的Petri网中向量时钟的分布式计算》（离散事件系统（WODES）研讨会论文集）。离散事件系统（WODES）研讨会论文集，意大利索伦托（2018），5月
[17] Kähkönen，K。；萨里基维，O。；Heljanko，K.，《在多线程程序的自动测试中使用展开》，Autom。柔和。工程，7304，4，150-159（2012）
[18] Khomenko，V。；库特尼，M。；Vogler，W.，Petri网展开的规范前缀，信息学报。，40, 2, 95-118 (2003) ·Zbl 1072.68072号
[19] León，H.P.D。；哈尔，S。；Longuet，D.，《并发系统的基于模型的测试：基于展开的测试选择》，Int.J.Softw。技术工具。传输。，18, 3, 305-318 (2016)
[20] 李伟（Li，W.）。；夏，Y。；周，M。；太阳，X。；Zhu，Q.，经济高效的基础设施即服务云中的波动软件和预测工作流调度，IEEE Access，661488-61502（2018）
[21] Li，Z。；Wu，N。；周，M.C.，基于Petri网的自动化制造系统死锁控制——文献综述，IEEE Trans。系统。人类网络。C部分，42，4，437-462（2012）
[22] 刘，G。；Reisig，W。；江，C。；Zhou，M.C.，一种基于分支过程的方法来检查工作流系统的可靠性，IEEE Access，4104-4118（2016）
[23] 刘，G。；张凯。；Jiang，C.，基于基本展开的目标标记确定Petri网中的死锁和活锁，（Carretero，J.；Garcia-Blas，J.，Ko，R.；Mueller，P.；Nakano，K.，《并行处理的算法和架构》，ICA3PP（2016），Springer，Cham），98-1052016，计算机科学讲义，10048
[24] Lomazova，I.A。；Ermakova，V.O.，使用展开方法验证嵌套Petri网，（Petri网和软件工程国际研讨会论文集，2016年6月20日至21日，波兰托伦，1591（2016）），2016，CEUR研讨会
[25] 卢·F。；曾强。；周，M.C。；Bao，Y。；Duan，H.，复杂可达树及其在无界Petri网死锁检测中的应用，IEEE Trans。系统。人类网络。系统。(2017)
[26] 卢，X。；周，M.C。；阿马利，A.C。；Ji，J.，微电网系统建模和分析的混合Petri网，IEEE/CAA J.Autom。罪。，3, 4, 347-354 (2016)
[27] Mcmillan，K.L.，在异步电路验证中使用展开避免状态爆炸问题，（Probst，D.K。；von Bochmann，G.，《计算机辅助验证国际研讨会论文集》，CAV 1992，LNCS。计算机辅助验证国际研讨会论文集，CAV 1992，LNCS，柏林，海德堡，663（1992），施普林格，164-177
[28] 尼尔森，M。；Plotkin，G。；Winskel，G.，Petri网，事件结构和域，Theor。计算。科学。，13, 1, 85-108 (1980) ·Zbl 0452.68067号
[29] Peterson，J.L.，《Petri网理论和系统建模》（1981），普伦蒂斯·霍尔PTR：普伦蒂斯霍尔PTR恩格尔伍德克利夫斯，新泽西州·兹比尔0461.68059
[30] 庞塞·德·莱昂，H。；罗德里格斯，C。；Carmona，J。；Heljanko，S.，K.，《基于展开的过程发现》（《用于验证和分析的自动化技术国际研讨会论文集》，9364（2015）），31-47·Zbl 1471.68171号
[31] 乔，Y。；吴新奇。；杨福杰。；周，M.C。；Zhu，Q.H.，带晶圆重访和活动时间变化的时间约束双臂集群工具的晶圆逗留时间波动分析，IEEE Trans。系统。曼赛本。系统。，48, 4, 622-636 (2018)
[32] 罗德里格斯，C。；索萨，M。；夏尔马，S。；Kroening，D.，基于展开的部分降阶，计算。科学。(2015) ·Zbl 1374.68342号
[33] 萨里基维，O。；Heljanko，K。；Esparza，J.，通过展开多线程程序最小化测试套件，ACM Trans。嵌入。计算。系统。，16, 2, 1-24 (2017)
[34] 乌扎姆，M。；格伦。，G。；Saleh，T.L.，《用加权弧综合广义petri网建模FMS的活性增强监督器的全局行动局部方法》，Inf.Sci。，363，C，235-260（2016）·Zbl 1427.68212号
[35] 瓦兹奎兹·巴雷罗斯，B。；Mucientes，M。；Lama，M.，Prodigen：用遗传算法挖掘完整、精确和最小结构的过程模型，Inf.Sci。，294, 315-333 (2015)
[36] Wang，F。；高，Y。；Zhou，M.C.，无界Petri网分析的改进可达树方法，IEEE Trans。系统。人类网络。B部分，34，1，303-308（2004）
[37] 王，M。；刘，G。；赵，P。；严，C。；Jiang，C.，具有未知对应关系的工作流网络的行为一致性计算，IEEE/CAA J.Autom。罪。，5, 1, 281-291 (2018)
[38] 王，S。；周，M.C。；Li，Z。；Wang，C.，一种新的改进可达树方法及其在无界Petri网中的应用，IEEE Trans。系统。人类网络。系统。，43, 4, 932-940 (2013)
[39] Wen，L。；Wang，J。；Wil；范德阿尔斯特，M.P。；黄，B。；Sun，J.，利用主要不可见任务挖掘流程模型，数据知识。工程，69，10，999-1021（2010）
[40] 吴新奇。；Chu，F。；Chu，C.B。；Zhou，M.C.，带晶圆重访的双臂集群工具的Petri网建模和周期时间分析，IEEE Trans。系统。人类网络。系统。，43, 1, 196-207 (2013)
[41] 吴新奇。；周，M.C.，基于Petri网的具有驻留时间约束和活动时间变化的双臂集群工具的建模、分析和控制，IEEE Trans。自动。科学。工程师，9，2446-454（2012）
[42] 吴新奇。；Zhou，M.C.，具有驻留时间约束和活动时间变化的双臂集群工具的可调度性分析和优化调度，IEEE Trans。自动。科学。工程，9，1，203-209（2012）
[43] Xiang，D。；刘，G。；严，C。；蒋，C.，基于Petri网展开技术的数据不一致性检测，IEEE Trans。工业信息（2017）
[44] Xiang，D。；刘，G。；严，C。；Jiang，C.，DICER：基于Petri网展开技术的数据不一致性检查，（第14届IEEE网络、传感和控制国际会议论文集，2017年5月16日至18日，意大利卡拉布里亚，2017（2017），IEEE），115-120，ISBN 978-1-5090-4429-0，（2017）
[45] 杨福杰。；吴新奇。；Qao，Y。；周，M.C。；Li，Z.W.，具有驻留时间限制的原子层沉积过程中单臂集群工具的调度，IEEE Trans。系统。人类网络。系统。，47, 3, 502-516 (2017)
[46] Yang，R。；丁，Z。；潘，M。；江，C。；周，M.C.，基于新的修改可达树的ω-独立Petri网的生存性分析，IEEE Trans。系统。人类网络。系统。，47, 9, 2601-2612 (2017)
[47] 张海明。；冯·L。；吴新奇。；Li，Z.W.，基于学习的测试和监控集成，用于黑盒无功系统的需求一致性，IEEE Trans。自动。科学。工程师，15，1，2-15（2018）
[48] 张凯。；刘，G。；Xiang，D.，BUCKER:工作流系统可靠性的基本展开检查器，（IEEE会议记录，网络、传感和控制国际会议（2017），IEEE），611-616
[49] 张，S。；Wu，N。；Li，Z。；Qu，T。；Li，C.，基于Petri网的原油作业短期调度方法，储罐需求较少，Inf.Sci。，417，C，247-461（2017）·Zbl 1435.90077
[50] 朱，Q.H。；周，M.C。；乔，Y。；Wu，N.Q.，时间受限单臂集群工具关闭过程的Petri网建模和调度，IEEE Trans。系统。人类网络。系统。，48, 3, 389-400 (2018)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。