Robustness of time Petri nets under guard enlargement

DOI10.3233/FI-2016-1312zbMATH Open1357.68132MaRDI QIDQ2968522FDOQ2968522

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)

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

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)

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)