@inproceedings{becker2007discrete,
	abstract = {The theory of modeling formalisms for Discrete Event Systems has a long history and is well developed, many algorithms for modeling and efficient analysis of the modeled systems exist. However in many practical applications or commercial software, the theory is not used. The reasons are manifold. The question is, whether the theoretical concepts are not suited for practical applications, or whether the problem lies in the proper transfer to practice. Other problems lie in the sometimes missing flexibility of theoretical models, to some extend in missing good software that would enable the practical use of such models. In this work we review Petri net based methodologies with regard to their applicability in practice, and try to understand why many aspects of the theory of modeling and simulation do not find their way into practice. We identify crucial factors such as support of complex models and hierarchic modeling capabilities. These factors not only concern the modeling methodology, but also need to be implemented in a software tool. The availability of a software supporting a modeling concept is another important factor. The software should also have an adequate and appealing graphical representation because at the end, the practitioners have to be convinced to’buy’the theoretical concept, and that will only be the case, if decision makers can recognize’their’system easily. Furthermore we survey a number of papers about application of Petri nets to find out to which extend these applications are practical ones, ie whether the applications are of academic nature, proof of concept, toy size or inside a productive environment.},
	title = {DISCRETE EVENT SYSTEMS--PETRI NET-BASED MODELING AND SIMULATION IN THEORY AND PRACTICE},
	author = {Becker, Matthias},
	booktitle = {Eurosim},
	year = {2007},
	papertype = {fullpaper}
}