The Parallel Composition of Timed Finite State Machines
Olga Kondratyeva, Maxim L. Gromov · Proceedings of the Spring/Summer young researchers' colloquium on software engineering · 2011
This paper deals with the problem of the parallel composition construction for two Timed Finite State Machines (TFSMs).As a key to the solution of this problem we use parallel composition of common Finite State Machines (FSMs).We transform given TFSMs to FSMs and prove theorem, that obtained FSMs correctly describe behaviour of the given TFSMs.Then we build parallel composition of these FSMs, which being transformed back to TFSM, gives desired parallel composition of the given TFSMs Keywords-Finite State Machine; Timed Finite State Machine; parallel compositionI.