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

Nonlinear Analysis: Hybrid Systems

Volumn 6, Issue 2, 2012, Pages 806-817

  Júlvez, Jorge ^a   Mahulea, Cristian ^a   Vázquez, Carlos Renato ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

Hybrid Petri nets; Hybrid systems; Software tools

Indexed keywords

ANALYSIS AND DESIGN; ANALYSIS AND SYNTHESIS; FULLY INTEGRATED; HYBRID PETRI NET; MATLAB TOOLBOXES; OPTIMAL CONTROLS; SOFTWARE TOOL; STEADY STATE;

HYBRID SYSTEMS; PETRI NETS; SEMANTICS;

MATLAB;

EID: 84255187535     PISSN: 1751570X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.nahs.2011.10.001     Document Type: Article

References (21)

1. Murata T. Petri nets: properties, analysis and applications. Proceedings of the IEEE 1989, 77(4):541-580.
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. 2nd ed.
4. Mahulea C., Recalde L., Silva M. Basic server semantics and performance monotonicity of continuous Petri nets. Discrete Event Dynamic Systems: Theory and Applications 2009, 19(2):189-212.
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.
8. Sessego F., Giua A., Seatzu C. HYPENS: a Matlab tool for timed discrete, continuous and hybrid Petri nets. Lecture Notes in Computer Science 2008, vol. 5062:419-428. Springer-Verlag.
9. Balduzzi F., Menga G., Giua A. First-order hybrid Petri nets: a model for optimization and control. IEEE Transactions on Robotics and Automation 2000, 16(4):382-399.
10. Silva M., Recalde L. Petri nets and integrality relaxations: a view of continuous Petri nets. IEEE Transactions on Systems, Man, and Cybernetics 2002, 32(4):314-327.
11. Alla H., David R. Continuous and hybrid Petri nets. Journal of Circuits, Systems, and Computers 1998, 8(1):159-188.
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. Lecture Notes in Computer Science 2008, 215-264. Springer, Berlin, Heidelberg. M. Bernardo, P. Degano, G. Zavattaro (Eds.).
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 2001, 12(5):421-432.
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 2005, 41(4):605-616.
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 2008, 5(2):307-320.
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. Lecture Notes in Computer Science 2003, vol. 2602:127-141. Springer, Berlin, Heidelberg. C. Priami (Ed.).