乌里·施拉赫特 限制子类网的超逼近Petri网综合。 （英语） Zbl 1504.68147号 Klein，Shmuel Tomi（编辑）等人，《语言与自动机理论与应用》。2018年4月9日至11日，第12届国际会议，LATA 2018，以色列拉马特甘。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10792, 296-307 (2018). 摘要：我们证明了，在给定有限lts的情况下，存在一个根据结构预序的最小有界Petri网过逼近，并给出了计算该过逼近的算法。这个结果被扩展到网络的子类，即纯Petri网、纯Petri网络、T网和标记图，以及这些属性的组合。有关整个系列，请参见[Zbl 1386.68008号]. 引用于5文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：Petri网综合；Petri网属性；区域理论 软件：恰当的 PDF格式BibTeX公司 XML格式引用 \textit{U.Schlachter}，莱克特。注释计算。科学。10792，296--307（2018；Zbl 1504.68147） 全文： 内政部