Article | Proceedings of the 9th International MODELICA Conference; September 3-5; 2012; Munich; Germany | PNlib - An Advanced Petri Net Library for Hybrid Process Modeling

Title:
PNlib - An Advanced Petri Net Library for Hybrid Process Modeling
Author:
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
DOI:
10.3384/ecp1207647
Download:
Full text (pdf)
Year:
2012
Conference:
Proceedings of the 9th International MODELICA Conference; September 3-5; 2012; Munich; Germany
Issue:
076
Article no.:
004
Pages:
47-56
No. of pages:
10
Publication type:
Abstract and Fulltext
Published:
2012-11-19
ISBN:
978-91-7519-826-2
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Publisher:
Linköping University Electronic Press; Linköpings universitet


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.

Keywords: Petri nets; hybrid modeling; xHPN; process modeling

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

Author:
Sabrina Proß, Bernhard Bachmann
Title:
PNlib - An Advanced Petri Net Library for Hybrid Process Modeling
DOI:
10.3384/ecp1207647
References:
[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.

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

Author:
Sabrina Proß, Bernhard Bachmann
Title:
PNlib - An Advanced Petri Net Library for Hybrid Process Modeling
DOI:
10.3384/ecp1207647
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment