Timing and liveness in continuous Petri nets

DOI10.1016/J.AUTOMATICA.2010.10.047zbMath1207.93065OpenAlexW2057804023MaRDI QIDQ627071

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

concurrent systemsPetri netssafety analysiscontinuous systemsdeadlock

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65)

Related Items (4)

Individuals, populations and fluid approximations: a Petri net based perspective ⋮ Problematic configurations and choice-join pairs on Mono-T-Semiflow nets: towards the characterization of behavior-structural properties ⋮ Sensor placement for distinguishability and single structure observer design in continuous timed Petri nets ⋮ Dual perspectives of equilibrium throughput properties of continuous mono-T-semiflow Petri nets: firing rate and initial marking variations

Cites Work

• Basic server semantics and performance monotonicity of continuous Petri nets
• CONTINUOUS PETRI NETS: EXPRESSIVE POWER AND DECIDABILITY ISSUES
• Common Lyapunov Functions and Gradient Algorithms
• Deadlock-Freeness Analysis of Continuous Mono-T-Semiflow Petri Nets

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