Modeling of hybrid systems by hybrid Petri nets using open modelica and PNlib

Technologies are necessary part of everyday life, which are growing with extremely high speed. One component of this big group are automated systems that we focus on. The purpose of using this kind of systems is different but in general it is process optimization of and time and costs savings. One part of progress is modeling the systems by several formalisms. Effective tool for this purpose are high-level Petri nets whose inherent component are hybrid Petri nets. Systems modeled by this formalism are combination of discrete, discrete event and continuous subsystems. The paper deals with analysis and applications of hybrid systems in different areas. We decided to use hybrid Petri nets to demonstrate system processes because this area is only is being developed in Slovakia and we see a huge potential in their usage.