Publications
Tagungsband 2. Deutscher AAL-Kongress 2009, VDE, 2009. S. Vastag: Modellvalidierung von zeitbegrenzten logistischen Prozessketten mit Interval Timed Coloured Petri Nets In: Proc. of INFORMATIK 2009, 2. Workshop [...] Analysis of CSMA Type Access Schemes for Building Automatio IEEE Trans. on Industrial Informatics, Vol. 2, No. 2, May 2006, pp. 103-111. A. Tari, M. Telek, P. Buchholz: A Simplified Moment-Based Estimation Method [...] Programming (2003) 56 (1/2), pp. 69-97. P. Buchholz, P. Kemper: Weak Bisimulation for (max/+)-Automata and Related Models Journal of Automata, Languages and Combinatorics (2003) 8 (2), pp. 187-218. Proceedings …