Object-oriented conceptual programming based on PROT nets

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 within the framework of the operational software-life-cycle paradigm. As its major application area it addresses discrete-event dynamic systems, such as process control systems and communication protocols.<
>