[1] Zhou Binghai, Wang Shijin, Tao Lihua,. Modeling method of hybrid systems using extended Petri nets [J]. Journal of Southeast University (English Edition), 2005, 21 (3): 304-309. [doi:10.3969/j.issn.1003-7985.2005.03.012]

Copy

Modeling method of hybrid systems using extended Petri nets()

基于扩展Petri网的混合系统建模方法

Share：

Journal of Southeast University (English Edition)[ISSN:1003-7985/CN:32-1325/N]

Volumn:

21

Issue:

2005 3

Page:

304-309

Research Field:

Computer Science and Engineering

Publishing date:

2005-09-30

Info

Title:

Modeling method of hybrid systems using extended Petri nets

基于扩展Petri网的混合系统建模方法

Author(s):

Zhou Binghai¹;  Wang Shijin¹;  Tao Lihua²

¹ School of Mechanical Engineering, Shanghai Jiaotong University, Shanghai 200030, China
² National Key Laboratory of Flexible Manufacturing System Technology, Changchun 130012, China

周炳海¹;  王世进¹;  陶丽华²

¹上海交通大学机械与动力工程学院, 上海 200030; ²柔性制造系统技术国家重点实验室, 长春 130012

Keywords:

Petri nets;  object-oriented model;  hybrid system;  modeling

Petri网;  面向对象模型;  混合系统;  建模

PACS:

TP393

DOI:

10.3969/j.issn.1003-7985.2005.03.012

Abstract:

In order to model effectively hybrid systems, a new modeling method of extended Petri nets, which is called extended object-orient hybrid Petri net(EOHPN), is proposed.To deal with the complexity of hybrid systems, object-oriented abstraction mechanisms such as encapsulation and classifications are merged into EOHPN models.To combine the continuous part and discrete part of hybrid systems and to reduce the complexity of hybrid systems, a hybrid Petri net is introduced and extended with object-oriented modeling technology.Development of object models is suggested on the basis of the defined EOHPN.Finally, an application-oriented case is presented to illustrate that how the proposed EOHPN is used to model hybrid systems.The resulting model validates that the EOHPNs can deal with the modeling complexity of hybrid systems.

为了对混合系统进行有效地建模, 提出了一种扩展的面向对象混合Petri网(EOHPN)建模方法.针对混合系统的复杂性, 在EOHPN模型中融入了面向对象的抽象机制, 例如封装和类定义.为了结合混合系统的连续部分和离散部分, 减少混合系统的复杂性, 引入混合Petri网并用面向对象建模技术作了扩展.在定义EOHPN模型的基础上, 拓展了对象模型.最后, 用实例描述了基于EOHPN的混合系统建模过程, 同时验证了EOHPN模型在处理复杂混合系统建模时是有效的.

References:

[1] Flaus J M.Modeling and analysis of hybrid dynamical systems:a beginner’s guide [J].Japan Electronics Show Association, 1998, 32(7, 8):797-830.
[2] Kotini I, Hassapis G, Mavridis L.Verification of hybrid system specifications using linear hybrid automata [J].Computational Methods in Circuits and Systems Applications, 2003.171-176.
[3] Giancarlo F T, Eduardo G, Matteo S, et al.Modeling and control of co-generation power plants:a hybrid system approach [J]. IEEE Transactions on Control Systems Technology, 2004, 12(5):694-705.
[4] Thoms S, Martin B, Gunther S.A hybrid system approach toward modeling and dynamical simulation of dextrous manipulation [J]. IEEE/ASME Transactions on Mechatronics, 2003, 8(3):352-361.
[5] Thevenon L, Flaus J M.Modular representation of complex hybrid systems:application to the simulation of batch processes [J].Simulation Practice and Theory, 2000, 8(3):283-306.
[6] Lee Y K, Park S J.Opnets:an object-oriented high-level Petri net model for real-time system modeling [J].Journal of System Software, 1993, 20(1):69-86.
[7] Allam M, Alla H.Modeling and simulation of an electronic component manufacturing system using hybrid Petri nets [J].IEEE Transactions on Semiconductor Manufacturing, 1998, 11(3):374-383.
[8] Allam M.Petri nets and grafcet [M].London:Prentice-Hall, 1992.
[9] Zerhouni N, Alla H.Dynamic analysis of manufacturing systems using continuous Petri nets [A].In:Proc 1990 IEEE International Conference on Robot Automation [C].Cincinnati, 1990.1070-1075.

Memo

Memo:

Biography: Zhou Binghai(1965—), male, doctor, associate professor, bhzhou@sjtu.edu.cn.

Common functions