伯纳德·伯托米厄；弗朗索瓦·维纳达特 时间Petri网分支分析的状态类构造。 （英语） Zbl 1031.68082号 Garavle，Hubert（编辑）等人，《系统构建和分析的工具和算法》。2003年4月7日至11日在波兰华沙举行的2003年第9届TACAS国际会议，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。第2619、442-457页（2003年）。 摘要：本文讨论了时间Petri网的一些状态空间抽象的构造。状态类空间很久以前由Berthomieu和Menasche引入，作为时间Petri网的典型无限状态空间的有限表示，保留了它们的线性时间-时间特性。本文提出了一种保持其分支时间时间特性的类似结构。该建筑改进了Yoneda和Ryuba之前的提议。该方法已经实现，并进行了计算实验。关于整个系列，请参见[Zbl 1017.00035号]. 引用于三评论引用于23文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：时间Petri网；状态类；分支时间时间特性；模型检查；互模拟；实时系统建模与验证 软件：克洛诺斯 PDF格式BibTeX公司 XML格式引用 \textit｛B.Berthomieu｝和\textit｛F.Vernadat｝，Lect。注释计算。科学。2619442-457（2003年；Zbl 1031.68082） 全文： 链接