This expository paper is directed to a general audience of engineers, mathematicians , and computer scientists. A discrete event system is a mathematical model (in the form of an automaton, Petri nets, or process algebra) of, for example, a computer controlled engineering system such as a communication network. Control theory for discrete event systems aims at synthesis procedures for a supervi...

In literature, several cases are reported of models of discrete non-stochastic production systems that show irregular, apparently chaotic behavior. In this paper a number of these cases are analyzed, and the irregular behavior is attributed to (1) chaotic behavior in hybrid models, (2) chaotic behavior in discrete-event models that use a chaotic map, or (3) periodic behavior with a period longe...

Discrete-event simulation represents modeling, simulating, and analyzing systems utilizing the computational and mathematical techniques, while creating a model construct of a conceptual framework that describes a system. The system is father simulates by performing experiment(s) using computer implementation of the model and analyzed to draw conclusions from output that assist in decision maki...

A discrete event system (DES) is a dynamic system with discrete states the transitions of which are triggered by events. In this paper we propose the application of the Spin software model checker to a discrete event system that controls the industrial production of autonomous products. The flow of material is asynchronous and buffered. The aim of this work is to find concurrent plans that opti...

Parallel discrete-event simulation (PDES), simply referred to as parallel simulation, is concerned with the execution of discrete-event simulation on parallel computers. PDES has been recognized as a challenging research field bridging between modeling and simulation, and high-performance computing. By exploiting the potential parallelism in a simulation model, PDES can overcome the limitations...

We relate behavior composition, a synthesis task studied in AI, to supervisory control theory from the discrete event systems field. In particular, we show that realizing (i.e., implementing) a target behavior module (e.g., a house surveillance system) by suitably coordinating a collection of available behaviors (e.g., automatic blinds, doors, lights, cameras, etc.) amounts to imposing a superv...