System modeling and optimization XX IFIP TC7 20th Conference on System Modeling and Optimization, July 23 - 27, 2001, Trier, Germany (Kluwer, 2003)