Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs

DOI10.1007/978-3-642-40229-6_1zbMath1390.68455OpenAlexW144557296MaRDI QIDQ2842655

Étienne André, Giuseppe Pellegrino, Laure Petrucci

Publication date: 16 August 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40229-6_1

zbMATH Keywords

time Petri netsparameter synthesisquantitative robustness

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Parameter synthesis for hierarchical concurrent real-time systems

Uses Software

• Shrinktech

This page was built for publication: Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs