In: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 340: Advances in Petri Nets 1988, pages 1-19. Springer-Verlag, 1988.
Abstract: This paper presents PROTOB, an object-oriented Computer Aided Software Engineering system based on high level Petri nets called PROT nets. It consists of several tools supporting specification, modelling and prototyping activities. As its major apllication area it addresses discrete event dynamic systems, such as process control systems and communicating protocols.