Timing and liveness in continuous Petri nets

DOI10.1016/J.AUTOMATICA.2010.10.047MaRDI QIDQ627071zbMATH OpenOpenAlexFDO

Authors Manuel Silva, Carlos-Renato Vázquez

Publication date 21 February 2011

Published in Automatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.automatica.2010.10.047

zbMATH Keywords

Petri netsconcurrent systemssafety analysiscontinuous systemsdeadlock

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65)

Recommendations

• Introduction to fluid Petri nets
• Fluid approximation of Petri net models with relatively small populations
• On the fluidization of Petri nets and marking homothecy
• On fluidization of discrete event models: Observation and control of continuous Petri nets
• On reachability in autonomous continuous Petri net systems

Cites work

• Basic server semantics and performance monotonicity of continuous Petri nets
• Common Lyapunov Functions and Gradient Algorithms
• Continuous Petri nets: expressive power and decidability issues
• Deadlock-Freeness Analysis of Continuous Mono-T-Semiflow Petri Nets

Cited in

(15)

• Introduction to fluid Petri nets
• Sensor placement for distinguishability and single structure observer design in continuous timed Petri nets
• On reachability in autonomous continuous Petri net systems
• On persistency in time Petri nets
• Problematic configurations and choice-join pairs on Mono-T-Semiflow nets: towards the characterization of behavior-structural properties
• Dual perspectives of equilibrium throughput properties of continuous mono-T-semiflow Petri nets: firing rate and initial marking variations
• Basic server semantics and performance monotonicity of continuous Petri nets
• On Controllability of Timed Continuous Petri Nets
• On fluidization of discrete event models: Observation and control of continuous Petri nets
• Fluid approximation of Petri net models with relatively small populations
• scientific article; zbMATH DE number 2170621 (Why is no real title available?)
• Continuous reachability for unordered data Petri nets is in PTime
• Individuals, populations and fluid approximations: a Petri net based perspective
• scientific article; zbMATH DE number 434962 (Why is no real title available?)
• scientific article; zbMATH DE number 1538037 (Why is no real title available?)

This page was built for publication: Timing and liveness in continuous Petri nets

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