Locked discrete event systems: How to model and how to unlock

DOI10.1007/BF01797161MaRDI QIDQ1802243zbMATH OpenFDO

Authors Rein Smedinga

Publication date 16 June 1993

Published in Discrete Event Dynamic Systems (Search for Journal in Brave)

zbMATH Keywords

discrete event systemslivelockdeadlocksynchronous interactionasynchronous interactiontrace structure

Mathematics Subject Classification ID

General systems (93A10)

Recommendations

• scientific article; zbMATH DE number 4199619
• Modeling, simulation, estimation and boundedness analysis of discrete event systems
• scientific article; zbMATH DE number 5225359
• Discrete-event systems in a dioid framework: modeling and analysis
• Publication:4952737
• Modeling and simulation of discrete event systems
• scientific article; zbMATH DE number 1664930
• scientific article; zbMATH DE number 1429789
• Discrete event systems. Modelling and control of distributed systems
• Model Uncertainty in Discrete Event Systems

Cites work

• scientific article; zbMATH DE number 3869222 (Why is no real title available?)
• scientific article; zbMATH DE number 3938548 (Why is no real title available?)
• scientific article; zbMATH DE number 3959244 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 4051454 (Why is no real title available?)
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 3722109 (Why is no real title available?)
• scientific article; zbMATH DE number 744044 (Why is no real title available?)
• A calculus of communicating systems
• On supervisory control of real-time discrete-event systems
• Supervisory Control of a Class of Discrete Event Processes
• Trace theory and VLSI design

Cited in

(1)

• A temporal logic approach to discrete event control for the safety canonical class

This page was built for publication: Locked discrete event systems: How to model and how to unlock

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