PNlib - An Advanced Petri Net Library for Hybrid Process Modeling
S. Pross, B. Bachmann, in: Book of Abstracts / 9th International Modelica Conference, Linköping University Electronic Press, 2012, pp. 47–56.