Freiheit, Jörn Automation of Logic, MPI for Informatics, Max Planck Society;
Lilith, N., Billington, J., & Freiheit, J. (2006). Approximate Closed-Form Aggregation of a Fork-Join Structure in Generalised Stochastic Petri Nets. In L. Lenzini, & R. L. Cruz (Eds.), Proceedings of the 1st International Conference on Performance Evaluation Methodolgies and Tools, VALUETOOLS 2006 (pp. 1-10). New York, USA: ACM.