zbMATH — the first resource for mathematics

SimHPN: a MATLAB toolbox for simulation, analysis and design with hybrid Petri nets. (English) Zbl 1238.93004
Summary: 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.

93-04 Software, source code, etc. for problems pertaining to systems and control theory
93C30 Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)
93C65 Discrete event control/observation systems
HYPENS; Matlab; SimHPN
Full Text: DOI
[1] Murata, T., Petri nets: properties, analysis and applications, Proceedings of the IEEE, 77, 4, 541-580, (1989)
[2] DiCesare, F.; Harhalakis, G.; Proth, J.M.; Silva, M.; Vernadat, F.B., Practice of Petri nets in manufacturing, (1993), Chapman & Hall
[3] David, R.; Alla, H., Discrete, continuous and hybrid Petri nets, (2010), Springer-Verlag
[4] Mahulea, C.; Recalde, L.; Silva, M., Basic server semantics and performance monotonicity of continuous Petri nets, Discrete event dynamic systems: theory and applications, 19, 2, 189-212, (2009) · Zbl 1169.93367
[5] J. Júlvez, C. Mahulea, SimHPN: a MATLAB toolbox for continuous Petri nets, in: Proc. of the 10th Workshop on Discrete Event Systems, Berlin, Germany, August 2010, pp. 24-29.
[6] J. Júlvez, C. Mahulea, C.R. Vázquez, Analysis and simulation of manufacturing systems using SimHPN toolbox, in: Proc. of the 7th IEEE Conf. on Automation Science and Engineering, Trieste, Italy, August 2011, pp. 432-437.
[7] M. Matcovschi, C. Mahulea, O. Pastravanu, Petri net toolbox for MATLAB, in: 11th IEEE Mediterranean Conference on Control and Automation MED’03, Rhodes, Greece, July 2003. · Zbl 1125.93415
[8] Sessego, F.; Giua, A.; Seatzu, C., HYPENS: a Matlab tool for timed discrete, continuous and hybrid Petri nets, (), 419-428 · Zbl 1143.68494
[9] Balduzzi, F.; Menga, G.; Giua, A., First-order hybrid Petri nets: a model for optimization and control, IEEE transactions on robotics and automation, 16, 4, 382-399, (2000)
[10] Silva, M.; Recalde, L., Petri nets and integrality relaxations: a view of continuous Petri nets, IEEE transactions on systems, man, and cybernetics, 32, 4, 314-327, (2002)
[11] Alla, H.; David, R., Continuous and hybrid Petri nets, Journal of circuits, systems, and computers, 8, 1, 159-188, (1998)
[12] M. Silva, L. Recalde, Réseaux de Petri et relaxations de l’integralité: une vision des réseaux continus, in: Conférence Internationale Francophone d’Automatique, CIFA 2000, 2000, pp. 37-48.
[13] Heiner, M.; Gilbert, D.; Donaldson, R., Petri nets for systems and synthetic biology, (), 215-264
[14] C.R. Vázquez, H.Y. Sutarto, R. Boel, M. Silva, Hybrid Petri net model of a traffic intersection in an urban network, in: 2010 IEEE Multiconference on Systems and Control, Yokohama, Japan, 09/2010 2010.
[15] A. Zimmermann, M. Knoke, Timenetsim—a parallel simulator for stochastic Petri nets, in: Proc. 28th Annual Simulation Symposium, Phoenix, AZ, USA, 1995, pp. 250-258.
[16] Zimmermann, A.; Rodríguez, D.; Silva, M., A two phase optimisation method for Petri net models of manufacturing systems, Journal of intelligent manufacturing, 12, 5, 421-432, (2001)
[17] Silva, M., Las redes de Petri: en la automática y la informática, (1985), AC
[18] Júlvez, J.; Recalde, L.; Silva, M., Steady-state performance evaluation of continuous mono-T-semiflow Petri nets, Automatica, 41, 4, 605-616, (2005) · Zbl 1061.93066
[19] Garey, M.R.; Johnson, D.S., Computers and interactability: A guide to the theory of NP-completeness, (1979), W. H. Freeman and Company
[20] Mahulea, C.; Ramírez, A.; Recalde, L.; Silva, M., Steady state control reference and token conservation laws in continuous Petri net systems, IEEE transactions on automation science and engineering, 5, 2, 307-320, (2008)
[21] Cho, K.-H.; Shin, S.-Y.; Kim, H.-W.; Wolkenhauer, O.; McFerran, B.; Kolch, W., Mathematical modeling of the influence of RKIP on the ERK signaling pathway, (), 127-141 · Zbl 1112.92315
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.