[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()

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

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

Keywords:

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

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.

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