Locked discrete event systems: How to model and how to unlock |
| |
Authors: | Rein Smedinga |
| |
Affiliation: | (1) Department of Computing Science, University of Groningen, Groningen, The Netherlands |
| |
Abstract: | To model qualitative aspects of discrete event systems, i.e., the order of the events is of sole importance, we use a triple consisting of the set of all possible events (the alphabet), the set of all behavior (possible strings of events), and the set of all tasks (completed behavior). We use this view to model synchronous as well as asynchronous connection of systems. Moreover, it is easy to define notions like deadlock and livelock in this view. We give a method to construct a second system that, in connection with the original system, gets rid of its deadlock and/or livelock. A state-space representation is introduced. In this representation computations can be done effectively. |
| |
Keywords: | discrete event dynamical system synchronous interaction asynchronous interaction trace structure deadlock livelock |
本文献已被 SpringerLink 等数据库收录! |
|