摘要
本文引入的混合动态系统的Ｐｅｔｒｉ网模型，以建立混合控制系统的整体Ｐｅｔｒｉ网结构，和Ｐｅｔｒｉ网上附加离散、连续和混合动态时描述的一致性与继承性为目标．令牌及其标记概念上的具体化，是统一多种动态描述的基础．权为零有向弧的引入简化了监控结构．依赖混合动态网建立复杂控制系统的整体Ｐｅｔｒｉ网模型，为采用Ｐｅｔｒｉ网理论进行系统的分析、验证和设计提供了基础．
A hybrid dynamics Petri net model is introduced in this paper which puts emphasis on entirely Petri net structure of a hybrid system modeling,and preserve description consistency and heritable of discrete and continuous and hybrid dynamics adhered to the new net.The unifying description of varies dynamics is based on difference between a token and its marking.The zero weight coefficients being permitted for new net make information exchange be easily settled and self loops be greatly decreased.After modeling a hybrid object and its controller with a hybrid dynamic Petri net,analysis verification and synthesis of the system will be manageable in framework of Petri net.
出处
《系统工程学报》
CSCD
1998年第4期58-65,共8页
Journal of Systems Engineering
基金
国家教委博士点基金
山西省自然科学基金
