罗宾·伯根图姆；德塞尔，约格；塞巴斯蒂安·毛瑟 比较从部分语言合成Petri网的不同算法。 （英语） Zbl 1266.68136号 Jensen，Kurt（编辑）等人，《Petri网和其他并发模型事务处理III。柏林：施普林格出版社》（ISBN 978-3-642-04854-8/pbk）。计算机科学5800课堂讲稿。《期刊副刊》，216-243（2009）。 摘要：在本文中，我们提出了两种新的算法，可以从有限的标记偏序集（有限部分语言）有效地合成有限位置/转移Petri网（p/t-net）。要么合成的p/t-net具有部分语言指定的非连续行为，要么没有这样的p/t-net。第一种算法是合成算法的改进版本，作者等，Fundam.Inform.88，No.4，437-468（2008；兹比尔1167.68037)]它将经典的区域理论应用于由给定的部分语言生成的步长序列集。新算法不计算所有步骤序列，而是直接对部分语言中指定的适当前缀进行处理。第二种算法基于年开发的部分语言的令牌流区域理论[R.洛伦兹和G.Juhás，莱克特。票据计算。科学4024302-321（2006；Zbl 1217.68152号);Zbl 1167.68037号]. 在中时[Zbl 1167.68037号]采用所谓的基表示，新算法结合了分离表示和令牌流的概念。我们在我们的框架VipTool中实现了这两种合成算法。两种新算法与中提出的前两种算法的比较[Zbl 1167.68037号]表明两者的表现都优于各自的前任。因此，对这两种综合算法进行了详细的比较。有关整个系列，请参见[Zbl 1177.68011号]. 引用于2文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：Petri网；综合算法；部分顺序行为；区域理论 引文：Zbl 1167.68037号；Zbl 1217.68152号 软件：VIP工具 PDF格式BibTeX公司 XML格式引用 \textit{R.Bergenthum}等人，Lect。票据计算。科学。5800、216——243（2009年；Zbl 1266.68136） 全文： 内政部