H.M.W.韦贝克。；韦恩，M.T。；范德阿尔斯特，W.M.P。；ter Hofstede，A.H.M。 重置/抑制网络的减少规则。 （英语） Zbl 1187.68330号 J.计算。系统。科学。 76，第2期，125-143（2010）. 摘要：重置/约束网络是用重置弧和约束弧扩展的Petri网。这些扩展可用于建模取消和阻塞。重置弧允许转换在转换触发时从特定位置移除所有标记。如果位置包含一个或多个标记，则约束弧可以阻止启用转换。虽然重置/抑制剂网络增加了Petri网的表达能力，但也增加了分析技术的复杂性。加速Petri网分析的一种方法是应用约简规则。不幸的是，许多为经典Petri网定义的规则在存在重置和/或抑制弧时不成立。此外，还可以添加新规则。这是第一篇系统地介绍重置/抑制网络的一整套简化规则的论文。这些规则保持活性和有界性，能够显著减少模型及其状态空间。可以观察到，实践中使用的大多数建模语言都具有与取消和阻塞相关的功能。因此，这项工作与目前难以进行分析的各种应用领域高度相关。 引用于4文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：约简规则；Petri网；重置圆弧；禁止弧；活泼；有界性 PDF格式BibTeX公司 XML格式引用 \textit{H.M.W.Verbeek}等人，J.Compute。系统。科学。76，No.2，125--143（2010；Zbl 1187.68330） 全文： 内政部 参考文献： [1] Darondeau，P.，《无界Petri网综合》，（Desel，J.；Reisig，W.；Rozenberg，G.，《并发与Petri网讲座》，《Petri网进展》，《并发和Petri网演讲》，Petri网进步，《计算科学讲义》，第3098卷（2003），Springer-Verlag:Springer-Verlag-Eichstätt，德国），413-428·Zbl 1088.68123号 [2] Dufourd，C。；芬克尔，A。；Schnoebelen，P.，《在可判定性和不可判定性之间重置网络》，（Larsen，K.；Skyum，S.；Winskel，G.，《第25届国际自动化学术讨论会论文集》，《语言与编程》，《第二十五届国际自动化研讨会论文集，语言与编程，计算科学讲义》，第1443卷（1998），斯普林格·弗拉格：丹麦奥尔堡斯普林格尔·弗拉格），103-115·Zbl 0909.68124号 [3] Dufourd，C。；扬查尔，P。；Schnoebelen，P.，重置P/T网的有界性，（Wiedermann，J.；Boas，P.；Nielsen，M.，《并发和Petri网讲座》，《并发与Petri网演讲》，《计算科学讲义》，第1644卷（1999），《Springer-Verlag:Springer-Verlag Prague，捷克共和国》，301-310·Zbl 0943.68122号 [4] 芬克尔，A。；Raskin，J.-F。；Samuelides，M。；van Begin，L.，《Petri网的单调扩展：重访向前和向后搜索》，电子。注释理论。计算。科学。，68, 6, 1-22 (2002) ·Zbl 1270.68214号 [5] 芬克尔，A。；Schnoebelen，P.，结构良好的过渡系统无处不在！，定理。计算。科学。，256, 1-2, 63-92 (2001) ·Zbl 0973.68170号 [7] Peterson，J.L.，Petri网，ACM计算。调查，9，3，223-252（1977）·Zbl 0357.68067号 [8] Murata，T.，Petri网：性质、分析和应用，Proc。IEEE，77，4，541-580（1989） [9] Busi，N.，带抑制器弧的Petri网分析问题，Theoret。计算。科学。，275, 1-2, 127-177 (2002) ·Zbl 1026.68097号 [10] Berthelot，G.，《网络的变换和分解》（Brauer，W.；Reisig，W.）；Rozenberg，G，《Petri网：中心模型及其性质，Petri网的进展，高级课程论文集，第1部分。Petri网：中心模型及其属性，Petri网的进展，高级课程论文集，第1部分，计算机课堂讲稿。科学。，第254卷（1986），《斯普林格·弗拉格：斯普林格尔·弗拉格·巴德·霍内夫》，359-376·Zbl 0634.68061号 [11] 戴塞尔，J。；Esparza，J.，自由选择Petri Nets，剑桥拖拉机理论。计算。科学。，第40卷（1995），剑桥大学出版社：剑桥大学出版社，英国剑桥·Zbl 0836.68074号 [12] 斯隆·R·H。；美国Buy，《时间Petri网缩减规则》，Acta Inform。，33, 7, 687-706 (1996) ·Zbl 0858.68060号 [13] 伦博，J。；雅各布森，I。；Booch，G.，《统一建模语言参考手册》（1999年），Addison Wesley [16] van der Aalst，W.M.P.，Petri网在工作流管理中的应用，J.Circ。系统。计算。，8, 1, 21-66 (1998) [18] 杜里，S。；购买，美国。；Devarapalli，R。；Shatz，S.M.，状态空间约简方法在Ada死锁分析中的应用和实验评估，ACM Trans。柔和。工程方法。，3, 4, 340-380 (1994) [19] Peterson，J.L.，《Petri网理论和系统建模》（1981），普伦蒂斯·霍尔：普伦蒂斯霍尔-恩格伍德悬崖出版社，美国·Zbl 0461.68059号 [21] Christensen，S。；Hansen，N.，《用位置容量、测试弧和抑制弧扩展的有色Petri网》（第14届Petri网应用和理论国际会议论文集（1993），Springer-Verlag:Springer-Verlag London，UK），186-205 [22] Berthelot，G.，使用变换检查网络的属性，（《1985年Petri网的进展》，涵盖第六届欧洲Petri网应用和理论研讨会——选论文（1986），Springer-Verlag:Springer-Verlag London，UK），19-40·Zbl 0606.68055号 [23] Wynn，M.T。；Verbeek，H.M.W。；范德阿尔斯特，W.M.P。；ter Hofstede，A。；Edmond，D.，业务流程验证——终于实现了！，业务流程管理。J.，15，1，74-92（2009），另见 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。