论文部分内容阅读
为了增强混杂Petri网模型描述能力和克服一阶混杂Petri网模型语义错误的问题，定义一种新的混杂Petri网模型——广义混杂Petri网，提出了相应的迁移使能和迁移引发语义．通过划分标识等价类提出了广义混杂Petri网连续迁移瞬时引发速率的有效求解方法和模型行为演变分析方法．给出了广义混杂Petri网模型的混杂系统建模实例，同时结合模型行为演变和线性规划实现了混杂系统的优化控制．研究结果表明，所定义的模型描述能力更强，模型语义正确合理．能够有效描述和分析混杂系统．