In: Office Information Systems: The Design Process. Proceedings of the IFIP WG 8,4 Working Conference, 1988, Linz, pages 133-146. Amsterdam: North-Holland, 1989.
Abstract: For some classes of office information systems, time is a very important concept and support for controlling and reasoning about time is necessary. The TP net, a variant of the Petri net is introduced and it is shown how this tool can be used to design time dependent systems. The net supports the top-down design methodology, automatically analyzes timing parameters and can generate code for the control mechanisms of office systems.