A Framework for Interacting Design/CPN- and Java-Processes

In order to widen the applicability of Design/CPN for the specication and design of large scale distributed applications, a framework has been developed that supports the interaction of Design/CPN and Java processes. Thereby a seamless embedding of the two worlds of Petri nets and object-oriented programming is achieved, allowing problem oriented modeling at dierent abstraction levels in a fully distributed environment. The general possibilities to connect Design/CPN with remote processes are discussed and a specic implementation of the required framework is sketched. Promising application areas are named and for some of them concrete example models are provided. Keywords: Coloured Petri Nets, Design/CPN, Distributed Simulation, Framework, Java, Workow, Prototyping 1 Introduction The specication of systems, its evaluation, and its transfer to implementation is still a major task for computer science. One very promising technique in the area of specication, especially when conc..