Book Chapter10.1007/0-8176-4404-0_4
Discrete-Event Systems
Christos G. Cassandras
- 01 Jan 2005
- pp 71-89
TL;DR: This paper discusses some of the major modeling frameworks for discrete event systems, based on automata, Petri nets, and dioid algebras, and illustrates the use of these models through queuing systems, a common class of DES.
read more
Abstract: Discrete Event Systems (DES) are characterized by the occurrence of discrete events asynchronously over time which are responsible for driving all dynamics. Such systems are ubiquitous in modern technological environments, ranging from communication networks and manufacturing to transportation and logistics. This class of event-driven dynamic systems is first compared to traditional time-driven systems described by differential (or difference) equations. We subsequently overview some of the major modeling frameworks for DES, based on automata, Petri nets, and dioid algebras. The use of these models is illustrated through queuing systems, a common class of DES.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
A framework for comparing models of computation
TL;DR: A denotational framework (a "meta model") within which certain properties of models of computation can be compared is given, which describes concurrent processes in general terms as sets of possible behaviors.
The past, present and future of cyber-physical systems: a focus on models.
TL;DR: Two projects show that deterministic CPS models with faithful physical realizations are possible and practical and shows that the timing precision of synchronous digital logic can be practically made available at the software level of abstraction.
620
Hierarchical finite state machines with multiple concurrency models
TL;DR: This paper studies the semantics of hierarchical finite state machines that are composed using various concurrency models, particularly dataflow, discrete-events, and synchronous/reactive modeling, and argues that all three combinations are useful, and that the concurrency model can be selected independently of the decision to use hierarchical FSM's.
Time is precious: Variable- and event-centred approaches to process analysis in CSCL research
Peter Reimann
- 27 Jun 2009
TL;DR: The event-centred view of process is introduced as a more generally applicable approach, not only for quantitative analysis, but also for providing closer links between qualitative and quantitative research methods.
296
References
•Book
Introduction to Automata Theory, Languages, and Computation
John E. Hopcroft,Rajeev Motwani,Rotwani,Jeffrey D. Ullman +3 more
- 01 Jan 1979
TL;DR: This book is a rigorous exposition of formal languages and models of computation, with an introduction to computational complexity, appropriate for upper-level computer science undergraduates who are comfortable with mathematical arguments.
14.5K
Petri nets: Properties, analysis and applications
Tadao Murata
- 01 Apr 1989
TL;DR: The author proceeds with introductory modeling examples, behavioral and structural properties, three methods of analysis, subclasses of Petri nets and their analysis, and one section is devoted to marked graphs, the concurrent system model most amenable to analysis.
•Book
Simulation Modeling and Analysis
Averill M. Law,W. David Kelton +1 more
- 01 Jan 1982
TL;DR: The text is designed for a one-term or two-quarter course in simulation offered in departments of industrial engineering, business, computer science and operations research.
10.9K
•Book
Introduction to Discrete Event Systems
Christos G. Cassandras,Stéphane Lafortune +1 more
- 30 Sep 1999
TL;DR: This edition includes recent research results pertaining to the diagnosis of discrete event systems, decentralized supervisory control, and interval-based timed automata and hybrid automata models.
4.6K
Related Papers (5)
Bernard P. Zeigler,Tag Gon Kim,Herbert Praehofer +2 more
- 01 Jan 1976
A. Benveniste,Gérard Berry +1 more
- 01 Sep 1991