RT Journal Article SR Electronic A1 Jedlička, Petr T1 Qualifications of Petri nets for modeling of logistical systems JF Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis YR 2014 VO 54 IS 3 SP 131 OP 136 DO 10.11118/actaun200654030131 UL https://acta.mendelu.cz/artkey/acu-200603-0012.php AB Simulation and optimization is one of the most popular approaches to improve the use of simulation models as a tool to obtain the best system configuration. Petri nets have proved to be useful for examining the performance of different system configurations and/or alternative operating procedures for various systems. Based on their precise semantics and easy-to-understand graphical representation, Petri nets are appropriate to model logistic systems together with their quantitative and qualitative properties. In this paper, potential benefits of usage of object-oriented Petri nets for optimization of logistical systems are discussed.