First-order hybrid Petri nets. An application to distributed manufacturing systems

DOI10.1016/j.nahs.2006.05.005zbMath1155.93385OpenAlexW2134574912MaRDI QIDQ1003528

Alessandro Giua, Carla Seatzu, Mariagrazia Dotoli, Maria Pia Fanti

Publication date: 4 March 2009

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

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

zbMATH Keywords

manufacturing systemshybrid Petri netsdistributed manufacturing systemsfirst-order hybrid Petri nets

Mathematics Subject Classification ID

Linear programming (90C05) Production models (90B30) Discrete event control/observation systems (93C65)

Related Items

Basic server semantics and performance monotonicity of continuous Petri nets ⋮ Efficient modelling of yeast cell cycles based on multisite phosphorylation using coloured hybrid Petri nets with marking-dependent arc weights ⋮ A linear characterization of the switching dynamic behavior of timed continuous Petri nets with structural conflicts ⋮ Piecewise constant timed continuous PNs for the steady state estimation of stochastic PNs ⋮ Dense-choice counter machines revisited ⋮ Modeling, analyzing and controlling hybrid systems by guarded flexible nets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The algorithmic analysis of hybrid systems
• Basic server semantics and performance monotonicity of continuous Petri nets
• Fluid stochastic Petri nets: Theory, applications, and solution techniques
• Asymptotic continuous Petri nets
• Optimal stationary behavior for a class of timed continuous Petri nets
• Decidable hybrid systems
• Dynamics and steady state analysis of controlled generalized batches Petri nets
• Modelling and simulation of manufacturing systems with first-order hybrid Petri nets
• Performance analysis and design of supply chains: a Petri net approach
• On Reachability in Autonomous Continuous Petri Net Systems
• Differential Petri nets: representing continuous systems in a discrete-event world
• Feedback control designs for manufacturing systems modelled by continuous Petri nets
• THE USE OF CONVENTIONAL AND MINPLUS ALGEBRA FOR THE MODELING OF HYBRID PETRI NETS
• FIRING SEQUENCES AND FIRING FREQUENCIES ESTIMATION FOR TIMED PETRI NETS
• Discrete, Continuous, and Hybrid Petri Nets
• Modelling and simulation of a bottling plant using hybrid Petri nets
• Design of piecewise linear hybrid dynamical systems using a control regulator approach
• Fluid stochastic Petri nets augmented with flush-out arcs: Modelling and analysis
• Modeling, simulation and analysis of batch production systems
• Generalised batches Petri net: Hybrid model for high speed systems with variable delays
• Decidability results in first-order hybrid Petri nets
• The explicit linear quadratic regulator for constrained systems