Conference article

PNlib - An Advanced Petri Net Library for Hybrid Process Modeling

Sabrina Proß
University of Applied Sciences, Department of Engineering and Mathematics, Bielefeld, Germany

Bernhard Bachmann
University of Applied Sciences, Department of Engineering and Mathematics, Bielefeld, Germany

Download article

Published in: Proceedings of the 9th International MODELICA Conference; September 3-5; 2012; Munich; Germany

Linköping Electronic Conference Proceedings 76:4, p. 47-56

Show more +

Published: 2012-11-19

ISBN: 978-91-7519-826-2

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


The scope of Modelica 3.3 has been extended from a language primarily intended for physical systems modeling to modeling of complete systems by allow the modeling of control systems and enabling automatic code generation for embedded systems. This paper describes the state machines introduced in Modelica 3.3. Any block without continuous-time equations or algorithms can be a state of a state machine. Transitions between such blocks are new kind of connections associated with transition conditions. The paper gives the details for building state machines and includes many examples. In addition; the complete semantics is described using only 13 Modelica equations.


Petri nets; hybrid modeling; xHPN; process modeling


[1] Petri C.A. Kommunikation mit Automaten. PhD thesis; Rheinisch-Westfälisches Institut für Instrumentelle Mathematik; Bonn; Germany; 1962.

[2] David R.; Alla H. Continuous petri nets. Pro-ceedings of 8th European Workshop on Application and Theory of Petri nets:275-294; 1987.

[3] David R.; Alla H. On Hybrid Petri Nets. Dis-crete Event Dynamic Systems: Theory and Applications(11): 9–40; 2001.

[4] Mosterman P.J.; Otter M.; Elmqvist H. Modeling Petri nets as local constraint equations for hybrid systems using Modelica. Proceedings of SCS Summer Simulation Conference:314–319; 1998.

[5] Fabricius S.M. Extensions to the Petri Net Library in Modelica. ETH Zurich; Switzerland; 2001

[6] Johnsson C.; Årzén K.-E.; Grafchart and grafcet: A comparison between two graphical languages aimed for sequential control applications; Preprints 14th World Congress of IFAC(A): 19-24; 1999.

[7] Otter M.; Årzén K.E.; Dressler I. StateGraph-a Modelica library for hierarchical state ma-chines. Proceedings of 4th International Modelica Conference:21-33; 2005

[8] Proß S. Hybrid Modeling and Optimization of Biological Processes. Bielefeld; Germany; PhD thesis (in preparation); Faculty of Technology; Bielefeld University; Germany; 2012.

[9] Dynasim AB Dymola-Dynamic Modeling Laboratory-User Manual Volume 2; Lund; Sweden; 2010

[10] Proß S.; Bachmann B. Hybrid Modelling and Process Optimization of Biological Systems; MATHMOD Conference; Wien; Austria 2012.

[11] Chen S; Ke J; Chang J. Knowledge represen-tation using fuzzy Petri nets. Knowledge and Data Engineering; IEEE Transactions on 2(3):311–319; 1990

[12] Jensen K. Coloured petri nets. Petri nets: central models and their properties: 248–299; Springer Verlag; Berlin Heidelberg; 1987

[13] Proß S.; Janowski S. J.; Bachmann B.; Kalt-schmidt C.; Kaltschmidt B. PNlib - A Modelica Library for Simulation of Biological Systems based on Extended Hybrid Petri Nets; 3rd International Workshop on Biological Processes & Petri Nets (accepted); Hamburg; Germany; 2012.

Citations in Crossref