Использование BALM-II для построения параллельной композиции временных автоматов с задержками выходов и таймаутами: сообщение о ходе исследования

Using BALM-II for deriving parallel composition of timed finite state machines with outputs delays and timeouts: work-in-progress

Article's language
English
Abstract
In this paper we consider a procedure of parallel composition construction of Timed Finite State Machines (TFSMs) using BALM-II and suggest different ways of getting linear functions that describe a set of output delays. Our research consists of three steps: at first step we consider composition of TFSMs when an output delay may be a natural number or zero; at second – we add transitions under timeouts; at third we consider composition of TFSMs in general case (when output delays are described as sets of linear functions). This paper is devoted only to the first step of the research.
DOI
10.31144/si.2307-6410.2016.n8.p33-42
UDK
Pages
33-42
File
Number