基于混合 Petri 网建模与分析
信息论
2007-07-13 v1 math.IT
摘要
本文致力于将混合 Petri 网(PN)用于混合动态系统(HDS)的建模与控制。HDS 的建模、分析与控制正吸引越来越多研究者的关注,已有大量工作围绕这些主题展开。本文考虑了 PN 形式体系(最初为离散事件系统的建模与分析而设计)向混合建模方向的扩展。我们首先介绍连续 PN 模型,这些模型通过对标识的流体化(fluidification)由离散 PN 获得,它们构成了 PN 向混合建模扩展的第一步。随后,我们介绍两种混合 PN 模型,它们所能处理的 HDS 类别有所不同:第一种用于确定性 HDS 的建模,而第二种能够处理具有非确定性行为的 HDS。
引用
@article{arxiv.0706.1716,
title = {Modeling and analysis using hybrid Petri nets},
author = {Latéfa Ghomri and Hassane Alla},
journal= {arXiv preprint arXiv:0706.1716},
year = {2007}
}