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

作     者：杨根科 卫军胡 曾建潮 孙国基 

作者机构：西安交通大学系统工程研究所 太原重型机械学院自动化与计算机工程系 

基　　金：国家教委博士点基金 山西省自然科学基金 

出 版 物：《系统工程学报》 (Journal of Systems Engineering)

年 卷 期：1998年第13卷第4期

页      码：58-65页

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

主 题 词：Petri网 动态标记 一致性描述 离散事件动态系统 

学科分类：0711[理学-心理学类] 07[理学] 08[工学] 081104[081104] 0811[工学-水利类] 071102[071102] 081103[081103] 

核心收录：

馆 藏 号：203116595...