雷卡德，劳拉;谢尔盖·哈达德;曼纽尔·席尔瓦 连续Petri网：表达能力和可判定性问题。 （英语） Zbl 1200.68164号 发现的国际期刊。计算。科学。 21，第2期，235-256（2010）. 摘要：状态爆炸是离散事件系统分析与综合中的一个基本问题。连续Petri网可以看作是相应离散模型的松弛。预期的收益是双重的：复杂性和可判定性的改进。在自治网的情况下，我们证明了活性或无死锁仍然是可判定的，并且可以比Petri网更有效地进行检查。然后，我们在模型中引入时间，该模型现在表现为一个由微分方程驱动的动力学系统，并且我们从表达性和可判定性问题来研究它。一方面，我们证明了该模型等价于时间微分Petri网，它是线性微分方程（LDE）驱动系统的轻微扩展。另一方面，（与LDE驱动的系统相反）我们证明了连续时间Petri网能够模拟图灵机，因此基本属性变得不可判定。 引用于8文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 2005年第68季度 计算模型（图灵机等）（MSC2010） 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：Petri网;动力系统;可达性;活泼;表现力;可判定性 软件：DYNAMO公司 PDF格式BibTeX公司 XML格式引用 \textit{L.Recalde}等人，国际期刊发现。计算。科学。21，第2号，235--256（2010；Zbl 1200.68164） 全文： 内政部 参考文献： [1] 内政部：10.1142/S0218126698000079·doi:10.1142/S0218126698000079 [2] 内政部：10.1016/0304-3975（94）90010-8·Zbl 0803.68071号 ·doi:10.1016/0304-3975（94）90010-8 [3] 内政部：10.1016/0304-3975（94）00228-B·Zbl 0884.68050号 ·doi:10.1016/0304-3975（94）00228-B [4] 内政部：10.1016/0304-3975（94）00147-B·Zbl 0874.68207号 ·doi:10.1016/0304-3975（94）00147-B [5] Forrester J.W.，《系统原理》（1968） [6] 内政部：10.1006/jcss.1998.1581·兹布尔0920.68091 ·doi:10.1006/jcss.1998.1581 [7] Hopcroft J.E.，形式语言及其与自动机的关系（1969）·Zbl 0196.01701号 [8] DOI:10.1007/978-94-011-6955-4_1·doi:10.1007/978-94-011-6955-4_1 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。