Keywords: Petri nets; hybrid modeling; xHPN; process modeling
Proceedings of the 9th International MODELICA Conference; September 3-5; 2012; Munich; Germany
[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.