Analysis of Reactive Systems with n Timers

Authors:
Anne Bergeron;Riccardo Catalano
Affiliations:
-;-
Venue:
WIA '99 Revised Papers from the 4th International Workshop on Automata Implementation
Year:
1999

Citing 3
Cited 0

Modeling and Verification of Time Dependent Systems Using Time Petri Nets

IEEE Transactions on Software Engineering
A theory of timed automata

Theoretical Computer Science
On the rational behaviors of concurrent timers

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we develop theoretical, as well as practical, tools for the synthesis and the verification of processes that contain n timers. Such tools are equally adapted to numerical calculations as to symbolical ones, thus allowing for parametric analysis.The results we have obtained rely on a simple and efficient representation of the states of an automaton that recognizes the behaviors of the process. This representation is based on a mechanical structure which helps us encode the states in a compact manner and leads to simple algorithms.