SimHPN: a MATLAB toolbox for simulation, analysis and design with hybrid Petri nets ⋆

Abstract This paper presents a MATLAB embedded package for hybrid Petri nets called SimHPN. It offers a collection of tools devoted to simulation, analysis and synthesis of dynamical systems modeled by hybrid Petri nets. The package supports several server semantics for the firing of both, discrete and continuous, types of transitions. Besides providing different simulation options, SimHPN offers the possibility of computing steady state throughput bounds for continuous nets. For such a class of nets, optimal control and observability algorithms are also implemented. The package is fully integrated in MATLAB which allows the creation of powerful algebraic, statistical and graphical instruments that exploit the routines available in MATLAB.

[1]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[2]  Manuel Silva Suárez,et al.  Petri nets and integrality relaxations: A view of continuous Petri net models , 2002, IEEE Trans. Syst. Man Cybern. Part C.

[3]  Manuel Silva Suárez,et al.  A two phase optimization method for Petri net models of manufacturing systems , 2001, J. Intell. Manuf..

[4]  Alessandro Giua,et al.  HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets , 2008, Petri Nets.

[5]  René David,et al.  Continuous and Hybrid Petri Nets , 1998, J. Circuits Syst. Comput..

[6]  Cristian Mahulea,et al.  Petri Net Toolbox for MATLAB , .

[7]  Ali Gharbi,et al.  A simulation optimization approach in production planning of failure prone manufacturing systems , 2001, J. Intell. Manuf..

[8]  Manuel Silva Las Redes de Petri : en la Automática y la Informática , 2002 .

[9]  Simon Peck,et al.  Practice of Petri Nets in Manufacturing , 1993 .

[10]  Hassane Alla,et al.  Discrete, continuous, and hybrid Petri Nets , 2004 .

[11]  Cristian Mahulea,et al.  SimHPN: A MATLAB toolbox for continuous Petri nets , 2010, WODES.

[12]  Alessandro Giua,et al.  First-order hybrid Petri nets: a model for optimization and control , 2000, IEEE Trans. Robotics Autom..

[13]  Monika Heiner,et al.  Petri Nets for Systems and Synthetic Biology , 2008, SFM.

[14]  Christian Kelling TimeNET-Sim-a parallel simulator for stochastic Petri nets , 1995, Proceedings of Simulation Symposium.

[15]  Manuel Silva Suárez,et al.  Steady-state performance evaluation of continuous mono-T-semiflow Petri nets , 2005, Autom..

[16]  Antonio Ramírez-Treviño,et al.  Steady-State Control Reference and Token Conservation Laws in Continuous Petri Net Systems , 2008, IEEE Transactions on Automation Science and Engineering.

[17]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[18]  Cristian Mahulea,et al.  Analysis and simulation of manufacturing systems using SimHPN toolbox , 2011, 2011 IEEE International Conference on Automation Science and Engineering.

[19]  Kwang-Hyun Cho,et al.  Mathematical Modeling of the Influence of RKIP on the ERK Signaling Pathway , 2003, CMSB.

[20]  Manuel Silva Suárez,et al.  Hybrid Petri net model of a traffic intersection in an urban network , 2010, 2010 IEEE International Conference on Control Applications.

[21]  Cristian Mahulea,et al.  Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets , 2009, Discret. Event Dyn. Syst..