Analysis of the structure of attributed transition systems without hidden transitions

DOI10.1007/s10559-017-9916-8zbMath1380.93005OpenAlexW2598303649MaRDI QIDQ681892

Juan-Miguel Gracia

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

zbMATH Keywords

correctnesshistoriesand tracesattributed transition system without hidden transitionscomposition of attributed transition systemssafenessstructure of sets of states

Mathematics Subject Classification ID

Algebraic methods (93B25) General systems (93A10) Applications of set theory (03E75)

Related Items

Cyber-physical systems ⋮ Attributed transition systems with hidden transitions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Insertion programming
• Systems specification by basic protocols
• The Power of Well-Structured Systems
• Well (and Better) Quasi-Ordered Transition Systems

This page was built for publication: Analysis of the structure of attributed transition systems without hidden transitions