Robustness of Time Petri Nets under Guard Enlargement
From MaRDI portal
Publication:4899146
DOI10.1007/978-3-642-33512-9_9zbMath1355.68187OpenAlexW1566891394MaRDI QIDQ4899146
Pierre-Alain Reynier, Claude Jard, S. Akshay, Loïc Hélouët
Publication date: 7 January 2013
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-00879832/file/RP12_robustTPN.pdf
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (4)
Unnamed Item ⋮ Parameter synthesis for hierarchical concurrent real-time systems ⋮ A temporal logic for micro- and macro-step-based real-time systems: foundations and applications ⋮ Decidable Classes of Unbounded Petri Nets with Time and Urgency
This page was built for publication: Robustness of Time Petri Nets under Guard Enlargement
