Robustness of time Petri nets under guard enlargement

DOI10.3233/FI-2016-1312MaRDI QIDQ2968522zbMATH OpenFDO

Authors S. Akshay, Loïc Hélouët, Claude Jard, Pierre-Alain Reynier

Publication date 16 March 2017

Published in Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

robustnesstimed automatatime Petri nets

Mathematics Subject Classification ID

Formal languages and automata (68Q45) 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 architectural constraints
• Combining free choice and time in Petri nets
• Precise robustness analysis of time Petri nets with inhibitor ARCS
• Robustness in timed automata

Cited in

(5)

• Lipschitz robustness of timed I/O systems
• Combining free choice and time in Petri nets
• Robustness of time Petri nets under architectural constraints
• Precise robustness analysis of time Petri nets with inhibitor ARCS
• Robustness of time Petri nets under guard enlargement

This page was built for publication: Robustness of time Petri nets under guard enlargement

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