Hybrid and hybrid adaptive Petri nets: on the computation of a reachability graph

DOI10.1016/J.NAHS.2014.11.005MaRDI QIDQ2344577zbMATH OpenOpenAlexFDO

Authors Estíbaliz Fraca, J. Júlvez, Manuel Silva

Publication date 15 May 2015

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

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

zbMATH Keywords

discrete event systems modellinghybrid adaptive Petri netshybrid Petri netsPetri netsreachabilityreachability graph

Mathematics Subject Classification ID

Applications of graph theory (05C90) Attainable sets, reachability (93B03) Discrete event control/observation systems (93C65)

Recommendations

• Modeling and analysis using hybrid Petri nets
• On hybrid Petri nets
• THE USE OF CONVENTIONAL AND MINPLUS ALGEBRA FOR THE MODELING OF HYBRID PETRI NETS
• Modeling and control of hybrid systems based on general hybrid Petri nets
• scientific article; zbMATH DE number 2144772

Cites work

• Adaptive simulation of hybrid stochastic and deterministic models for biochemical systems
• Complexity analysis of continuous Petri nets
• scientific article; zbMATH DE number 4094832 (Why is no real title available?)
• scientific article; zbMATH DE number 1302046 (Why is no real title available?)
• scientific article; zbMATH DE number 1341754 (Why is no real title available?)
• scientific article; zbMATH DE number 1936531 (Why is no real title available?)
• scientific article; zbMATH DE number 763717 (Why is no real title available?)
• scientific article; zbMATH DE number 852526 (Why is no real title available?)
• Modelling and simulation of a bottling plant using hybrid Petri nets
• On fluidization of discrete event models: Observation and control of continuous Petri nets
• On reachability in autonomous continuous Petri net systems

Cited in

(5)

• Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques
• Region-based analysis of hybrid Petri nets with a single general one-shot transition
• THE USE OF CONVENTIONAL AND MINPLUS ALGEBRA FOR THE MODELING OF HYBRID PETRI NETS
• On hybrid Petri nets
• A survey on performance evaluations in time-dependent Petri nets

This page was built for publication: Hybrid and hybrid adaptive Petri nets: on the computation of a reachability graph

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