Using BALM-II for deriving parallel composition of timed finite state machines with outputs delays and timeouts: work-in-progress
Article's languageEnglish
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.
DOI10.31144/si.2307-6410.2016.n8.p33-42
UDK519.713
Issue
# 8,
Pages33-42
File
shabaldinagromovsysinf.pdf
(721.13 KB)