Quantitative evaluation of discrete event systems: Models, performances and techniques

摘要

Assuming that with the increasing complexity of new architectures, modeling and performance evaluation of discrete event systems are more and more necessary, the authors present some general remarks on the modeling concept. Queuing networks, whose theory has been stimulated by needs in the computing field, are presented, together with the main ideas of their general solution. A more recent formalism, that of extended Petri nets, is presented. This formalism allows more sophisticated Markovian models to be solved mathematically.