离散、连续和混合Petri网的一致性描述

摘要

本文引入的混合动态系统的Petri网模型，以建立混合控制系统的整体Petri网结构，和Petri网上附加离散、连续和混合动态时描述的一致性与继承性为目标，令牌及其标记概念上的具体化，是统一多种动态描述的基础，权为零有向弧的引入简化了监控结构，依赖混合动态网建立复杂控制系统的整体Petri网模型，为采用Petri网理论进行系统的分析、验证和设计提供了基础。