Analysis of the structure of attributed transition systems without hidden transitions
From MaRDI portal
Publication:681892
DOI10.1007/s10559-017-9916-8zbMath1380.93005MaRDI QIDQ681892
Publication date: 13 February 2018
Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10559-017-9916-8
correctness; histories; and traces; attributed transition system without hidden transitions; composition of attributed transition systems; safeness; structure of sets of states