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

DOI10.1016/J.NAHS.2011.10.001zbMATH Open1238.93004OpenAlexW2167117935MaRDI QIDQ414477FDOQ414477

Authors J. Júlvez, C. Mahulea, 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 systemssoftware toolshybrid Petri nets

Mathematics Subject Classification ID

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

Recommendations

• HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets
• Modeling and analysis using hybrid Petri nets
• scientific article; zbMATH DE number 2144773
• Modeling and control of hybrid systems based on general hybrid Petri nets
• A toolbox for simulation of hybrid systems in Matlab/Simulink. Hybrid Equations (HyEQ) Toolbox

Cites Work

• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• scientific article; zbMATH DE number 1950554 (Why is no real title available?)
• scientific article; zbMATH DE number 2065540 (Why is no real title available?)
• 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
• HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets
• Steady-state performance evaluation of continuous mono-T-semiflow Petri nets

Cited In (4)

• HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets
• SimHPN
• A toolbox for simulation of hybrid systems in Matlab/Simulink. Hybrid Equations (HyEQ) Toolbox
• Dynamics and steady state analysis of controlled generalized batches Petri nets

Uses Software

• HYPENS
• Matlab

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q414477)