Synchronous Events in the OpenModelica Compiler with a Petri Net Library Application. - Willi Braun; Bernhard Bachmann; Sabrina Pross (EOOLT, 2010)

An Advanced Environment for Hybrid Modeling of Biological Systems Based on Modelica. - Sabrina Pross; Bernhard Bachmann (J. Integr. Bioinform., 2011)

A new object-oriented Petri net simulation environment based on modelica. - Sabrina Proß; Bernhard Bachmann; Sebastian Janowski; Ralf Hofestädt (WSC, 2012)

Hybrid modeling and optimization of biological processes. - Sabrina Proß (2013)

An object-oriented Petri net simulation tool for hybrid biological processes. - Sabrina Proß; Bernhard Bachmann (it Inf. Technol., 2014)