奥利维娅·奥内亚;哈罗·威梅尔;卡斯滕·沃尔夫 确定虹吸捕捉特性的新算法。 (英语) Zbl 1285.68108号 Lilius,Johan(编辑)等人,《Petri网的应用和理论》。2010年6月21日至25日,第31届国际会议,PETRI NETS 2010,葡萄牙布拉加。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-13674-0/pbk)。计算机科学课堂讲稿6128267-286(2010)。 摘要:虹吸陷阱属性,也称为公共黑客属性,在Petri网内的结构实体之间建立了关系,即同名的虹吸和陷阱。该属性与Petri网的行为有关,例如与死锁自由度和网的活性有关。然而,即使只考虑最小信标,也要确定网络的特性,因为网络可以有指数级多的信标和陷阱。因此,财产的价值取决于强大决策程序的可用性。我们提出了两种确定虹吸捕集器特性的新方法,从而解决了这个问题。一个是将该属性简单地转换为布尔可满足性(SAT)问题,它利用了强大的SAT解算器的可用性。第二个过程具有分而治之的性质,它建立在将Petri网分解为开放网的基础上,并将有关虹吸管和陷阱的信息投影到组件的接口上。关于整个系列,请参见[Zbl 1189.68013号]. 引用于8文件 MSC公司: 第68季度85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 关键词:Petri网;陷阱;虹吸管;普通黑客;活泼;坐;分而治之 软件:超小卫星 PDF格式BibTeX公司 XML格式引用 \textit{O.Oanea}等人,Lect。注释计算。科学。6128267--286(2010年;Zbl 1285.68108) 全文: 内政部