In: Technischer Bericht, No. 9802, pages 1-40. Ludwig-Maximilians-Universität München, 1997.
Abstract: An in-depth evaluation of the leading integrated tools for hierarchical high-level nets based on a well-documented evaluation process and a detailed catalogue of criteria.
Keywords: Petri-net tools, evaluation criteria..