肯塔基州兰加拉扬。;D.内埃拉。 混合Petri网建模、混合自动机验证及其分析技术。 （英语） Zbl 1179.26027号 《国际纯粹应用杂志》。数学。 49，第5期，715-728（2008）. 概要：建模和分析对于制造系统的设计和操作来说是一个至关重要的需求。在本文中，我们将使用Petri网对混合系统进行建模，并使用混合自动机进行验证。该方法利用混合自动机的可达性分析来刻画混合Petri网的周期功能。此外，我们考虑基于无限状态空间可达性分析的符号模型检查。我们提出了迭代过程不收敛的模型的近似技术。 MSC公司： 26A33飞机 分数导数和积分 关键词：混成自动机;混合Petri网;混合系统;建模;定量分析;近似分析;凸壳算子 PDF格式BibTeX公司 XML格式引用 \textit{K.Rangarajan}和\textit{D.Neela}，国际期刊《纯粹应用》。数学。49，No.5，715--728（2008；Zbl 1179.26027）