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

DOI10.1016/J.NAHS.2011.10.001zbMath1238.93004OpenAlexW2167117935MaRDI QIDQ414477

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

Publication date: 11 May 2012

Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.nahs.2011.10.001

zbMATH Keywords

hybrid systemshybrid Petri netssoftware tools

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Software, source code, etc. for problems pertaining to systems and control theory (93-04)

Related Items (2)

Dynamics and steady state analysis of controlled generalized batches Petri nets ⋮ SimHPN

Uses Software

• HYPENS
• Matlab

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Basic server semantics and performance monotonicity of continuous Petri nets
• Formal methods for computational systems biology. 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 Bertinoro, Italy, June 2--7, 2008. Advanced lectures
• Steady-state performance evaluation of continuous mono-T-semiflow Petri nets
• HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets

This page was built for publication: SimHPN: a MATLAB toolbox for simulation, analysis and design with hybrid Petri nets