PNlib - An Advanced Petri Net Library for Hybrid Process Modeling

Sabrina Proß; Bernhard Bachmann

Title:

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:

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

Export in BibTex, RIS or text

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:

http://dx.doi.org/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:

https://doi.org10.3384/ecp1207647

Note: the following are taken directly from CrossRef

Citations:

Georg Ferdinand Schneider, Georg Ambrosius Peßle & Walter Terkaj (2019). Knowledge-based Conversion of Finite State Machines in Manufacturing Automation. Procedia Manufacturing, 28: 189. DOI: 10.1016/j.promfg.2018.12.031

Responsible for this page: Peter Berkesand
Last updated: 2019-11-06