Using balm-ii for Deriving Cascade Parallel Composition of Timed Finite State Machines
In this paper, we consider the problem of deriving a cascade parallel composition of timed finite state machines (TFSMs). In order to build such a composition we can derive the corresponding binary parallel compositions step-by-step. It is known that if each component of a binary parallel composition...
| Principais autores: | , |
|---|---|
| Formato: | Artigo |
| Idioma: | English |
| Publicado em: |
Yaroslavl State University
2016-12-01
|
| coleção: | Моделирование и анализ информационных систем |
| Assuntos: | |
| Acesso em linha: | https://www.mais-journal.ru/jour/article/view/409 |
| _version_ | 1826558990638645248 |
|---|---|
| author | M. L. Gromov N. V. Shabaldina |
| author_facet | M. L. Gromov N. V. Shabaldina |
| author_sort | M. L. Gromov |
| collection | DOAJ |
| description | In this paper, we consider the problem of deriving a cascade parallel composition of timed finite state machines (TFSMs). In order to build such a composition we can derive the corresponding binary parallel compositions step-by-step. It is known that if each component of a binary parallel composition is TFSM with output delays that are natural numbers or zero, the result of the composition can be TFSM with output delays that are sets of linear functions. So, the problem of deriving a cascade composition of TFSMs with constant output delays is reduced to the problem of deriving several binary parallel compositions of TFSMs with output delays that are sets of constants or linear functions. In this work, we refine the definition of TFSM and pay special attention to the description of an output delay function. As a tool for deriving the composition we consider balm-ii, and in consequence we study the ways of constructing the corresponding automaton for TFSM with output delays as a set of linear functions. We suggest a new procedure for constructing such an automaton, and unlike the known procedure our procedure does not require further determinization of the derived automaton. Moreover, we describe step by step how to build the composition of the derived automaton by using balm-ii, and discuss a procedure of reverse transformation from the global automaton to TFSM in case when the components are TFSMs with output delays that are sets of linear functions. We use an application example in order to illustrate derivation of the cascade parallel composition of TFSMs. |
| first_indexed | 2024-04-10T02:24:20Z |
| format | Article |
| id | doaj.art-cddf8527cba845fba20d3f4b75aaf1ff |
| institution | Directory Open Access Journal |
| issn | 1818-1015 2313-5417 |
| language | English |
| last_indexed | 2025-03-14T08:53:16Z |
| publishDate | 2016-12-01 |
| publisher | Yaroslavl State University |
| record_format | Article |
| series | Моделирование и анализ информационных систем |
| spelling | doaj.art-cddf8527cba845fba20d3f4b75aaf1ff2025-03-02T12:46:58ZengYaroslavl State UniversityМоделирование и анализ информационных систем1818-10152313-54172016-12-0123671572810.18255/1818-1015-2016-6-715-728338Using balm-ii for Deriving Cascade Parallel Composition of Timed Finite State MachinesM. L. Gromov0N. V. Shabaldina1Tomsk State UniversityTomsk State UniversityIn this paper, we consider the problem of deriving a cascade parallel composition of timed finite state machines (TFSMs). In order to build such a composition we can derive the corresponding binary parallel compositions step-by-step. It is known that if each component of a binary parallel composition is TFSM with output delays that are natural numbers or zero, the result of the composition can be TFSM with output delays that are sets of linear functions. So, the problem of deriving a cascade composition of TFSMs with constant output delays is reduced to the problem of deriving several binary parallel compositions of TFSMs with output delays that are sets of constants or linear functions. In this work, we refine the definition of TFSM and pay special attention to the description of an output delay function. As a tool for deriving the composition we consider balm-ii, and in consequence we study the ways of constructing the corresponding automaton for TFSM with output delays as a set of linear functions. We suggest a new procedure for constructing such an automaton, and unlike the known procedure our procedure does not require further determinization of the derived automaton. Moreover, we describe step by step how to build the composition of the derived automaton by using balm-ii, and discuss a procedure of reverse transformation from the global automaton to TFSM in case when the components are TFSMs with output delays that are sets of linear functions. We use an application example in order to illustrate derivation of the cascade parallel composition of TFSMs.https://www.mais-journal.ru/jour/article/view/409timed finite state machinescascade parallel compositionbalm-ii |
| spellingShingle | M. L. Gromov N. V. Shabaldina Using balm-ii for Deriving Cascade Parallel Composition of Timed Finite State Machines Моделирование и анализ информационных систем timed finite state machines cascade parallel composition balm-ii |
| title | Using balm-ii for Deriving Cascade Parallel Composition of Timed Finite State Machines |
| title_full | Using balm-ii for Deriving Cascade Parallel Composition of Timed Finite State Machines |
| title_fullStr | Using balm-ii for Deriving Cascade Parallel Composition of Timed Finite State Machines |
| title_full_unstemmed | Using balm-ii for Deriving Cascade Parallel Composition of Timed Finite State Machines |
| title_short | Using balm-ii for Deriving Cascade Parallel Composition of Timed Finite State Machines |
| title_sort | using balm ii for deriving cascade parallel composition of timed finite state machines |
| topic | timed finite state machines cascade parallel composition balm-ii |
| url | https://www.mais-journal.ru/jour/article/view/409 |
| work_keys_str_mv | AT mlgromov usingbalmiiforderivingcascadeparallelcompositionoftimedfinitestatemachines AT nvshabaldina usingbalmiiforderivingcascadeparallelcompositionoftimedfinitestatemachines |