×

兹马思-数学第一资源

时间Petri网与时间自动机:Zeno序列的判别能力。(英语) Zbl公司 1133.68053
时间Petri网和时间自动机是分析实时系统的两种标准模型。本文研究了它们之间的关系,特别证明了它们在语言对等方面是不可比拟的。实际上,我们研究的是具有读弧的时间Petri网(RA-TdPN)的更一般的模型[J。斯尔芭,“定时弧Petri网与自动机网络之比较”,莱克特。笔记计算。科学。3536385-402(2005年;Zbl 1128.68069)]统一了时间Petri网模型和时间自动机模型,证明了该模型的覆盖性问题是可判定的。然后,我们建立了大量的表现性结果,并证明了Zeno行为在RA-TdPNs的几个子类之间是有区别的。这对时间自动机产生了令人惊讶的影响,例如,非确定性时钟重置的能力。

理学硕士:
6885年 并行和分布式计算的模型和方法(过程代数、互模拟、转移网等)
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] 阿卜杜拉,P.A。;马哈塔,P。;梅尔,R.,《稠密时间Petri网的zenoness的可判定性,句法有界性和标记活性》,第58-70页·Zbl公司 1117.68445
[2] 阿卜杜拉,P.A。;纽约én、 A.时间Petri网与bqos,(),53-70·Zbl公司 986.68092
[3] 铝,R。;Dill,D.,时间自动机理论,理论计算机科学,126,2183-235,(1994)·Zbl公司 803.68071
[4] 贝索米厄,B。;Diaz,M.,使用时间Petri网对依赖时间的系统进行建模和验证,软件工程中的IEEE事务处理,17,3,259-273,(1991)
[5] 鲍耶,P。;Dufourd,C。;弗勒里,E。;Petit,A.,可更新时间自动机,理论计算机科学,321,2-3,291-345,(2004)·Zbl公司 1070.68063
[6] 鲍耶,P。;哈达德,S。;雷尼尔,P.-A.,时间Petri网与时间自动机:论Zeno序列的判别能力,(),第420-431页·Zbl公司 1133.68383
[7] 鲍耶,P。;哈达德,S。;《时间自动机网络的时间展开》,第292-306页·Zbl公司 1161.68614
[8] C。吉罗,R。瓦尔克(编辑),《系统工程的Petri网》,斯普林格,柏林,2002年。
[9] G。希曼,《抽象代数中可除性排序》,载:《伦敦数学学会会刊》,第2卷,1952年,第326-336页·Zbl公司 47.03402
[10] 拉鲁西尼,F。;马基,N。;施诺贝伦,博士,带一个或两个时钟的模型检验定时自动机,(),387-401·Zbl公司 1099.68057
[11] 美国。拉索塔,I。Walukiewicz,交替时间自动机,in:第八届软件科学和计算结构基础国际会议论文集(FoSSaCS'05),计算机科学讲义,第3441卷,斯普林格,柏林,2005,第250-265页·Zbl公司 1119.68109
[12] P。2005年瑞典大学参数化信息系统研究部。
[13] 《基于展开的状态空间搜索技术,系统设计中的形式化方法》,6,1,45-65,(1995)·Zbl公司 829.68085
[14] 蒙塔纳里,美国。;Rossi,F.,上下文网络,信息学报,32,6,545-596,(1995)·Zbl公司 835.68084
[15] 瓦克宁,J。;沃雷尔,J.B.,时间自动机的语言包含问题:缩小可判定性差距,(),54-63
[16] 瓦克宁,J。;沃雷尔,J.B.,度量时态逻辑的可判定性,(),188-197
[17] 《时间弧Petri网与时间自动机网络之比较》,第385-402页·Zbl公司 1128.68069
[18] 瓦莱罗,V。;弗鲁托斯·埃斯克里格D。;郭德纲,等.时间弧Petri网可达性的不可判定性,(),188-196
[19] 《异步系统的效率,读弧和互斥问题》,理论计算机科学,275,1-2589-631,(2002)·Zbl公司 1026.68099
[20] 沃格勒,W。;塞门诺夫,A.L。;杨建华,等.带读弧网络的展开与有限前缀,(),第501-516页·Zbl公司 940.68096
[21] 温科夫斯基,J.,《上下文网络中的可达性》,信息基础,51,1-2,235-250,(2002)·Zbl公司 1003.68106
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。