×

兹马思-数学第一资源

将TPAL规范转换为定时弧Petri网。(英语) Zbl公司 1047.68090
Esparza,Javier(ed.)等人,《Petri网的应用与理论》,2002年。第23届国际会议,2002年6月24日至30日,澳大利亚阿德莱德。诉讼程序。柏林:斯普林格出版社(ISBN 3-540-43787-8)。选择。笔记计算。科学。2360414-433(2002年)。
概述:众所周知,Petri网是描述和分析并发系统的一种非常合适的模型,并且定义了PNs的几个定时扩展来描述系统的行为,包括时间限制。但是一些软件设计者仍然发现直接使用Petri网有点困难,特别是在处理大型系统时,他们更喜欢使用更接近编程语言的形式主义,例如代数规范语言。因此,本文的目标是将用(时间)代数语言(TPAL)编写的规范自动转换成Petri网的时间模型(timed Arc Petri网)。在这项任务中,我们试图尽可能地利用时间弧Petri网的特殊特性,更具体地说是死令牌的存在,这使得我们能够在某些特定的情况下扩展经典的翻译。
整个系列请参见[Zbl 0992.00053].

理学硕士:
6885年 并行和分布式计算的模型和方法(过程代数、互模拟、转移网等)
PDF格式 BibTeX公司 XML 引用
全文: 链接