Adding Invariants to Event Zone Automata

DOI10.1007/11867340_21MaRDI QIDQ3511243zbMATH OpenOpenAlexFDO

Authors Peter Niebert, Hongyang Qu

Publication date 8 July 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11867340_21

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A partial order semantics approach to the clock explosion problem of timed automata
• Tools and Algorithms for the Construction and Analysis of Systems
• Timed Unfoldings for Networks of Timed Automata
• Event clock automata: from theory to practice
• On regions and zones for event-clock automata

Cited in

(3)

• A concurrency-preserving translation from time Petri nets to networks of timed automata
• On regions and zones for event-clock automata
• A partial order semantics approach to the clock explosion problem of timed automata

Describes a project that uses

Uses Software

• Kronos

This page was built for publication: Adding Invariants to Event Zone Automata

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