A Petri Net Library for Modeling Hybrid Systems in OpenModelica

Sabrina Pross
University of Applied Sciences Bielefeld, Germany

Bernhard Bachmann
University of Applied Sciences Bielefeld, Germany

Ladda ner artikelhttp://dx.doi.org/10.3384/ecp09430014

Ingår i: Proceedings of the 7th International Modelica Conference; Como; Italy; 20-22 September 2009

Linköping Electronic Conference Proceedings 43:50, s. 454-462

Visa mer +

Publicerad: 2009-12-29

ISBN: 978-91-7393-513-5

ISSN: 1650-3686 (tryckt), 1650-3740 (online)


For modeling continuous and hybrid Petri Nets with dynamic edge weightings; the already existing Petri Net Libraries were further developed. The new library was implemented in OpenModelica using the SimForge GUI; however it works also with Dymola. With the extensions it is possible to model complex biological as well as production or traffic systems.


Inga nyckelord är tillgängliga


[1] Petri; Carl Adam. Kommunikation mit Automaten. Bonn: Institut für Instrumentelle Mathematik ; 1962.

[2] Mosterman; Pieter J.; Otter; Martin and Elmqvist; Hilding. Modeling Petri nets as Local Constraint Equations for Hybrid Systems Using Modelica. Reno; USA ; 1998. Summer Computer Simulation Conference.

[3] Otter; Martin; Arzèn; K.-E. and Dressler; I. SateGraph-A Modelica Library for Hierarchical State Machines. Hamburg ; 2005. Modelica Conference. pp. 569-578.

[4] Fabricius; Stefan M. O. Extensions to the Petri Net Library. 2001.

[5] Reddy; Venkatramana N.; Liebman; Michael N. and Mavrovouniotis; Michael L. Qualitative Analysis of Biochemical Reaction Systems. Compu. Biol. Med. 1996; pp. 9-24.

[6] Hofestädt; R. and Thelen; S. Quantitative Modeling of Biochemical Networks. In Silico Biology. 1998; 1; pp. 39-53.

[7] Doi; Atsushi; et al. Constructing biological pathway models with hybrid functional Petri nets. In Silico Biology. 2004.

[8] Valk; Rüdiger. Self-Modifiying Nets: A natural Extension of Petrinets. LNCS. 1978; 62; pp. 464-476.

[9] Proß; Sabrina; et al. Modeling a Bacterium’s Life: A Petri-Net Library in Modelica. Como; Italy ; 2009. Modelica conference.

[10] Dyckhoff; Harald and Spengler; Thomas. Produktionswirtschaft. Berlin Heidelberg : Springer-Verlag; 2005.

Citeringar i Crossref