Analysis of the structure of attributed transition systems without hidden transitions

DOI10.1007/S10559-017-9916-8zbMATH Open1380.93005OpenAlexW2598303649MaRDI QIDQ681892FDOQ681892

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

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

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)

Cites Work

• Title not available (Why is that?)
• Handbook of process algebra
• Title not available (Why is that?)
• Insertion programming
• Systems specification by basic protocols
• The power of well-structured systems
• Well (and better) quasi-ordered transition systems
• Title not available (Why is that?)

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)