Blending Timed Formal Models with Clock Transition Systems

DOI10.3233/FI-2014-962zbMath1408.68102OpenAlexW1582911296MaRDI QIDQ5411674

Olivier H. Roux, Didier Lime, Claude Jard

Publication date: 25 April 2014

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2014-962

zbMATH Keywords

real-time systemstimed automatatime Petri netstimed models

Mathematics Subject Classification ID

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

Related Items (2)

Determinization of timed Petri nets behaviors ⋮ Logical time control of concurrent DES

This page was built for publication: Blending Timed Formal Models with Clock Transition Systems