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

DOI10.1007/BF01797161zbMATH Open0769.93004MaRDI QIDQ1802243FDOQ1802243

Authors: Rein Smedinga 

Publication date: 16 June 1993

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

Recommendations

• scientific article
• 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

zbMATH Keywords

discrete event systemslivelockdeadlocksynchronous interactionasynchronous interactiontrace structure

Mathematics Subject Classification ID

General systems (93A10)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A calculus of communicating systems
• Supervisory Control of a Class of Discrete Event Processes
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Trace theory and VLSI design
• On supervisory control of real-time discrete-event systems
• Title not available (Why is that?)
• Title not available (Why is that?)

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)