雷蒙德·魔鬼队;托马斯·胡贾萨 加权标记图Petri网的分析与综合。 （英语） Zbl 1427.68191号 Khomenko，Victor（编辑）等人，Petri网和并发的应用和理论。第39届国际会议，PETRI NETS 2018，斯洛伐克布拉迪斯拉发，2018年6月24日至29日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10877, 19-39 (2018). 概要：许多现实世界的系统都可以用Petri网建模，它允许并发与同步和冲突的结合。为了减轻检查它们行为的困难，一种常见的方法是研究特定的子类。在Petri网综合的逆问题中，必须根据给定的规范，特别是描述所需网络行为的标记转换系统，有效地构造某个子类的Petri网。在这篇文章中，我们关注持久Petri网的一个臭名昭著的子类，即加权标记图（WMG），也称为广义（或加权）事件（或标记）图或加权T网。在这种网络中，边具有多重性（权重），每个位置最多有一个输入和一个输出过渡。虽然在以前的工作中进行了广泛的研究，并从大量的结果中受益，但它们的分析和合成都可以进一步研究。为此，我们提供了新的条件，更准确地描述了并给出一个专用的合成程序。关于整个系列，请参见[Zbl 1387.68023号]. 引用于5文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：加权Petri网;分析;合成;标记图;事件图 PDF格式BibTeX公司 XML格式引用 \textit{R.Devillers}和\textit{T.Hujsa}，莱克特。注释计算。科学。10877，19-39（2018；Zbl 1427.68191） 全文： 内政部 哈尔