×

兹马思-数学第一资源

时间弧Petri网与时间自动机网络。(英语) Zbl公司 1128.68069
Ciardo,Gianfranco(ed.)等人,《Petri网的应用和理论》,2005年。2005年6月20日至25日在美国佛罗里达州迈阿密举行的第26届国际会议。诉讼程序。柏林:斯普林格出版社(ISBN 3-540-26301-2/pbk)。计算机科学讲义3536385-402(2005)。
小结:我们建立了1-安全时间弧Petri网类(及其与测试弧的扩展)和时间自动机网络(及其子类,其中每个时钟都必须重置)之间的相互转换。所提出的翻译是非常紧密的(直到标签过渡系统随时间的同构)。这从理论的角度提供了一个方便的特征描述,但是从实际角度来看并不总是令人满意的,因为在尺寸上(在从自动机到网络的方向上)可能存在非多项式爆破。因此,我们放宽了同构要求,并在时间自动机网络和1-安全时间弧Petri网之间提供了有效的(多项式时间)约化,以保持可达性问题的答案。这使得我们的技术适合于自动翻译成UPPAAL和KRONOS等工具所需的格式。所提出的约化的直接推论是1-安全时间弧Petri网可达性的一个新的PSPACE完备性结果,它重用了已经为时间自动机开发的区域/区域技术。
整个系列请参见[Zbl 1076.68004号].

理学硕士:
6885年 并行和分布式计算的模型和方法(过程代数、互模拟、转移网等)
68Q45号 形式语言与自动机
PDF格式 BibTeX公司 XML 引用
全文: 内政部