Virbitskaite，I.B.公司。;博罗夫列夫，V.A。;波波瓦·齐格曼。 离散时间Petri网的“真正并发”和非确定性语义。 （英语。俄文原件） Zbl 1451.68194号 程序。计算。柔和。 42，第4期，187-197（2016）; 译自Programmirovanie 42，No.4，4-16（2016）。 摘要：本文根据离散时间Petri网（DTPNs）的分支过程定义了一种“真正并发”的非确定性语义。这些网络可能涉及无限数量的转换和位置、无限数量的位置标记和（最大）并发转换步骤，这使我们可以认为这类DTPN是最强大的Petri网类。证明了DTPN的展开（最大分支过程）是在具有步骤语义的DTPN分支过程上构造的完整格的最大元素。此外，如果对DTPN的结构和行为施加额外的限制，那么在最大过渡步长的情况下，这个结果也是正确的。 引用于1文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） PDF格式BibTeX公司 XML格式引用 \textit{I.B.Virbitskaite}等人，程序。计算。柔和。42，No.4，187--197（2016；Zbl 1451.68194）；翻译自Programmirovanie 42，No.4，4--16（2016） 全文： 内政部 参考文献： [1] Nielsen，M.、Plotkin，G.D.和Winskel，G.，Petri网，事件结构和域，第一部分，Theor。计算。科学。，1981年，第13卷，第1期，第85-108页·Zbl 0452.68067号 [2] Engelfriet，J.，《Petri网的分支过程》，《信息学报》，1991年，第28卷，第6期，第575-591页·Zbl 0743.68106号 ·doi:10.1007/BF01463946 [3] Meseguer，J.、Montanari，U.和Sassone，V.，《关于位置/转换Petri网的语义》，数学。结构计算。科学。，1997年，第7卷，第4期，第359-397页·Zbl 0876.68072号 ·doi:10.1017/S0960129597002314 [4] Couvreur，J.、Poitrenaud，D.和Weil，P.，《一般Petri网的分支过程》，《信息学基础》，2013年，第122卷，第31-58页·Zbl 1293.68203号 [5] McMillan，K.I.，《基于展开的状态空间搜索技术》，《形式化方法系统设计》，1995年，第6卷，第1期，第45-65页·Zbl 0829.68085号 ·doi:10.1007/BF01384314 [6] Baldan，P.、Bruni，A.、Corradini，A.、Koenig，B.、Rodriguez，C.和Schwoon，S.，《上下文Petri网的有效展开》，Theor。计算。科学。，2012年，第449卷，第2-22页·Zbl 1263.68117号 ·doi:10.1016/j.tcs.2012.04.046 [7] Bergenthum，R.、Mauser，R.，Lorenz，S.和Juhas，G.，基于令牌流的Petri网语义展开，《信息学基础》，2009年，第94卷，第3-4期，第331-360页·Zbl 1172.68044号 [8] Bonet，B.、Haslumb，P.、Khomenko，V.、Thiebauxb，S.和Vogler，W.，《展开技术的最新进展》，Theor。计算。科学。，2014年，第551卷，第84-101页·Zbl 1360.68628号 ·doi:10.1016/j.tcs.2014.07.003 [9] Esparza，J.，使用网络展开进行模型检查，科学。计算。程序。，第23卷，第2-3期，第151-195页·Zbl 0834.68087号 [10] Bonet，B.、Haslumb，P.、Hickmott，S.和Thiebauxb，S.，Petri网的定向展开，Lect。票据构成。科学。，第5100卷，2008年，第172-198页·Zbl 1171.68562号 ·doi:10.1007/978-3-540-89287-8_11 [11] 希克莫特，S。；Rintanen，J。；蒂堡，S。；White，L.，通过Petri网展开进行规划，1904-1911（2007） [12] Baldan，P.、Haar，S.和Koenig，B.，Petri网的分布式展开，Lect。票据构成。科学。，2006年，第3921卷，第126-141页·Zbl 1180.68185号 ·doi:10.1007/116906349 [13] Benveniste，A.、Fabre，E.、Jard，C.和Haar，S.，异步离散事件系统的诊断，网络展开方法，IEEE Trans。《自动控制》，2003年，第48卷，第5期，第714-727页·Zbl 1274.68221号 ·doi:10.1109/TAC.2003.811249 [14] Chatain，T.和Jard，C.，使用时间Petri网的符号展开对并发系统进行时间监督，Lect。票据构成。科学。，2005年，第3829卷，第196-210页·Zbl 1175.68274号 ·doi:10.1007/11603009_16 [15] Fleischhack，H.和Pelz，E.，《分层时间高级网及其分支过程》，Lect。票据构成。科学。，2003年，第2679卷，第397-416页·兹比尔1274.68231 ·doi:10.1007/3-540-44919-1.25 [16] Fleischhack，H.和Stehno，Ch.，计算时间Petri网的有限前缀，Lect。票据构成。科学。，2002年，第2360卷，第163-181页·Zbl 1047.68084号 ·doi:10.1007/3-540-48068-4_11 [17] Aura，T.和Lilius，J.，时间Petri网的时间过程，Lect。票据构成。科学。，1997年，第1248卷，第136-155页·Zbl 0951.68095号 ·数字对象标识代码：10.1007/3-540-63139-9_34 [18] Valero，V.、de Frutos，D.和Cuartero，F.，《定时Petri网的定时过程》，莱克特。票据构成。科学。，1995年，第935卷，第490-509页·Zbl 1496.68251号 ·doi:10.1007/3-540-60029-9_56 [19] Khomenko，V.、Koutny，M.和Vogler，W.，Petri网展开的规范前缀，《信息学报》，2003年，第40卷，第2期，第95-118页·Zbl 1072.68072号 ·doi:10.1007/s00236-003-0122-y [20] Popova-Zeugmann，L.，《时间与Petri网》，柏林：施普林格出版社，2013年·Zbl 1305.68003号 ·doi:10.1007/978-3642-41115-1 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。