In: Petri Net Newsletter No. 42, pages 12-16. August 1992.
Abstract: An AI-based system and tool have been built to help project managers. In this report we describe how PT nets have been used in the tool to provide project simulation. We describe how the project is modelled and how the PT net is automatically generated and used. We stress how the whole system is presented to the user using a standard conceptual model and how the net technology is hidden in the system. We suggest that building formal methods (including nets) into tools in this way will hasten their acceptance.