论文部分内容阅读
针对混合动态系统仿真的特点,建立其广义微分Petri网仿真模型,将混合系统的仿真统一于同一建模框架下。在此框架下,离散事件和连续状态变化对混合系统演化的推动作用均可以通过仿真模型中的变迁激发来完成。通过对广义微分Petri网的仿真过程进行分析,给出了基于该模型框架的仿真算法,并对仿真过程中出现的由资源共享引起冲突现象及其解决方案进行分析,最后讨论了仿真系统的死锁及其避免问题。