Skobelev V.V.
Analysis of the structure of attributed transition systems without hidden transitions

This paper carries out a set-theoretic analysis of the structure of attributed transition systems without hidden transitions. Partial operations of composition of histories and traces are proposed. It is shown that these operations can be used to parallelize the design of coverings of sets of histories and traces. Equivalence relations on a set of states are extracted. In terms of systems with singled out initial and final states and also systems with singled out initial states and sets of final limit sets of states, classes of safe and correct systems are defined. The algebra of such systems is proposed. © 2017, Springer Science+Business Media New York.

Keywords: and traces, attributed transition system without hidden transitions, composition of attributed transition systems, correctness, histories, safeness, structure of sets of states, Cybernetics, History, and traces, Attributed transition system, correctness, Equivalence relations, Final state, Initial state, safeness, Set-theoretic analysis, Computer science

Cite:
Skobelev V.V. (2017). Analysis of the structure of attributed transition systems without hidden transitions. Cybernetics and Systems Analysis, 53 (2), 3-15. doi: https://doi.org/10.1007/s10559-017-9916-8 http://jnas.nbuv.gov.ua/article/UJRN-0000670406 [In Russian].