Analysis of the structure of attributed transition systems without hidden transitions

DOI10.1007/S10559-017-9916-8MaRDI QIDQ681892zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Attributed transition systems with hidden transitions
• Deriving labelled transition systems -- a structural approach
• An algebraic and algorithmic method for analysing transition systems
• Approximate analyzing of labeled transition systems
• scientific article; zbMATH DE number 1670517
• Abstract compositional analysis of iterated relations. A structural approach to complex state transition systems
• Transition systems from event structures revisited
• Transition systems, event structures, and unfoldings
• A classification of the expressive power of well-structured transition systems

Cites work

• scientific article; zbMATH DE number 3427224 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 1911985 (Why is no real title available?)
• Handbook of process algebra
• Insertion programming
• Systems specification by basic protocols
• The power of well-structured systems
• Well (and better) quasi-ordered transition systems

Cited in

(3)

• Cyber-physical systems
• Attributed transition systems with hidden transitions
• Transition systems without transitions

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q681892)