ASIM

Frey, G.; Felgner, F.: Simulative Validierung Petrinetz-basierter Steuerungen durch Transformation in Modelica. Proceedings of the 17^th Symposium Simulationstechnik (ASIM 2003), pp. 81-86, Magdeburg, Germany, Sept. 2003.