Precise robustness analysis of time Petri nets with inhibitor ARCS

DOI10.1007/978-3-642-40229-6_1MaRDI QIDQ2842655zbMATH OpenOpenAlexFDO

Authors É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

parameter synthesisquantitative robustnesstime Petri nets

Mathematics Subject Classification ID

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

Recommendations

• Robustness of time Petri nets under guard enlargement
• Robustness of time Petri nets under guard enlargement
• Robustness of time Petri nets under architectural constraints
• Robustness in timed automata
• Symbolic quantitative robustness analysis of timed automata

Cited in

(9)

• Analysis issues in Petri nets with inhibitor arcs
• Robustness of time Petri nets under guard enlargement
• Robustness of time Petri nets under architectural constraints
• Parameter synthesis for hierarchical concurrent real-time systems
• Robustness of time Petri nets under guard enlargement
• Applications and Theory of Petri Nets 2004
• Symbolic analysis and parameter synthesis for time Petri nets using Maude and SMT solving
• A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets
• Dense integer-complete synthesis for bounded parametric timed automata

Describes a project that uses

Uses Software

• Shrinktech

This page was built for publication: Precise robustness analysis of time Petri nets with inhibitor ARCS

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