刘、李;李国强 异步多进程时间自动机的可覆盖性问题。 （中文。英文摘要） Zbl 1389.68045号 J.软件。 28，第5期，1080-1090（2017）. 摘要：现有的实时系统模型无法在运行时动态创建新进程。本文提出了一种基于时间自动机的异步多进程时间自动机模型。每个流程都被抽象为一个流程时间自动机，新流程由部分状态触发。考虑到排队可以使模型图灵完备，进程被缓冲在一个集合中。然而，该模型仍然强大到足以对许多实时系统进行建模。通过将模型编码为读-反时限Petri网，证明了模型的可覆盖性是可判定的。 理学硕士： 65年第68季度 形式语言和自动机 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：实时系统;时间自动机;读-反时限Petri网;可覆盖性 PDF格式BibTeX公司 XML格式引用 \textit{L.Liu}和textit{G.Li}，J.Softw。28，第5号，1080--1090（2017；Zbl 1389.68045） 全文： 内政部