×
赫洛莫兹达，D.K。;格利波茨，M.M。;O.M.马克西米茨。

自动将带有定性标记的有色Petri网转换为带有定量标记的有色Petri网。 （英语。俄文原件） Zbl 1445.68141号

赛博。系统。分析。 54，第4期，650-661（2018）; 翻译自Kibern。修女。分析。2018年，第4期，151-163（2018）。
摘要：作者描述了一种将带有定性标记的有色Petri网转换为带有保持有界性、互斥性和活性的定量标记的有色Petri网的算法。这种转换允许不变性方法应用于有色Petri网，它使用截断解集查找算法来查找通过线性齐次丢番图方程组表示的Petri网状态方程。为了证明该算法的有效性，将其应用于建模网格系统操作的有色Petri网。通过构造和分析等价有限状态机来测试网络模型的等价性。

MSC公司：

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

关键词：

有色Petri网;丢番图方程;有限状态机;网格结构

软件：

CPN/工具;正式舞会;FSM公司;洛拉;github;Cpn到单位
PDF格式BibTeX公司 XML格式引用
\textit{D.K.Hlomozda}等人，Cybern。系统。分析。54，第4号，650--661（2018；Zbl 1445.68141）；翻译自Kibern。修女。分析。2018年第4期，151--163（2018）
全文： 内政部

参考文献：

[1] K.Jensen和L.M.Kristensen，彩色Petri网，并发系统的建模和验证，柏林斯普林格出版社（2009）·Zbl 1215.68153号
[2] W.M.P.Van der Aalst和C.Stahl，《业务流程建模——面向Petri网的方法》，麻省理工学院出版社，剑桥（2011）·Zbl 1216.00032号
[3] S.A.Chernenok和V.A.Nepominaschy，“有色Petri网在验证消息序列图指定的分布式系统中的应用”，见：Proc。ISP RAS，第27卷，第3期（2015年），第197-218页。
[4] “CP-nets的工业应用示例”，URL：http://www.daimi.au.dk/CPnets/intro/example_indu.html。
[5] Jensen，K；Kristensen，LM；Wells，L，Coloured Petri网和CPN工具，用于并发系统的建模和验证，实习生。《技术转让软件工具杂志》，9，213-254，（2007）·数字对象标识代码：10.1007/s10009-007-0038-x
[6] D.O.Romannikov和A.V.Markov，“使用CPN工具软件包分析Petri网”，科学文集。NSTU工程，第2期，105-116（2012）。
[7] ProM 6.6，网址：http://www.promtools.org/doku.php？id=prom66。
[8] K.Schmidt，“LoLA：低水平分析仪”，摘自：Proc。第21名实习生。Petri网应用与理论会议（2000年6月26日至30日，丹麦奥胡斯），Springer-Verlag，海德堡（2000），第465-474页·Zbl 0986.68684号
[9] S.L.Kryvyi，“计算Petri网的最小不变量集”，Iskusstv。Intellekt，第3期，199-206（2001）。
[10] S.L.Kryvyi，《线性丢番图约束及其应用（乌克兰语）》，Bukrek，Chernivtsi-Kyiv（2015）。
[11] S.L.Kryvyi和L.E.Matveeva，“应用Petri网解决一些电信问题”，Iskusstv。Intellekt，第3期，590-598（2002）。
[12] L.E.Matveeva，“利用Petri网的形式化，用MSC语言描述的电信系统的自动分析和验证系统”，《问题程序》。，第2-3、108-117号（2004年）。
[13] EA卢基亚诺娃；Dereza，AV，研究具有并行性的复杂系统的组件建模和分析过程中组件Petri网的单一类型结构元素，Cybern。系统。分析，48823-831，（2012）·Zbl 1307.68054号 ·doi:10.1007/s10559-012-9461-4
[14] 谢列斯托夫，AY，《基于Petri网的网格节点建模》，Systemni Doslidzh。ta通知。Tekhnologii，352-65，（2009）
[15] Jensen，K，有色Petri网和不变方法，理论计算机科学，14，317-336，（1981）·Zbl 0475.68035号 ·doi:10.1016/0304-3975（81）90049-9
[16] D.K.Hlomozda，“将不变量方法应用于有色Petri网的分析”，Naukovi Zapysky NAUKMA，Komp。Nauky，第177卷，第44-52页（2015年）。
[17] D.K.Hlomozda，“将不变量方法应用于具有死锁的有色Petri网的分析”，Visnyk NTUU“KPI”。Informatyka，Upravlinya ta Obchysl。Tekhnika，第64、38-46号（2016年）。
[18] Kryvyi，SL；YV Boiko；波戈里利，SD；伯雷茨基，OF；Glybovets，MM，基于过渡系统的网格结构设计及其操作正确性的证明，Cybern。系统。分析，53，105-114，（2017）·Zbl 1366.68008号 ·doi:10.1007/s10559-017-9911-0
[19] K.Jensen，《CPN工具国家空间手册》，奥胡斯大学（2002年）。
[20] AT&T FSM Library 4.0，网址：https://www3.cs.stonybrook.edu/algorith/eimplement/fsm/eimplement.shtml。
[21] S.Gordon，“将有色Petri网状态空间转换为有限状态自动机”，CPNTools，FSM和Lextools（2013）。网址：https://sandilands.info/sgordon/cpntools-fsm-lextools。
[22] D.K.Hlomozda，“CpnToUnit实用程序”，网址：https://github.com/Gyrotank/CpnUnitTransformer。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。