×

确定虹吸捕捉特性的新算法。 (英语) 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号].

MSC公司:

第68季度85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)

软件:

超小卫星
PDF格式BibTeX公司 XML格式引用
全文: 内政部