Models of discrete event dynamic systems

Abstract
Many new techniques for modeling discrete event dynamic systems have been developed in recent years; among them are Markov processes and their imbedded Markov chains, Petri nets, queuing networks, automata and finite-state machines, finitely recursive processes, min-max algebra models, and discrete event simulation and generalized semi-Markov processes. The authors demonstrate the main features of these models by applying them to a simple example and briefly compare their features.