In: Proc. of the Int. Conf. on Comput. Lang. 1988, pages 226-233. New York: IEEE, 1988.
Abstract: The authors present 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, modeling, and prototyping activities.