Object-based high-level Petri nets as a formal approach to distributed information systems

We present an object-based high-level Petri net framework useful to the formal description and specification of distributed information systems. The G-CPN tool is based on the same principles of G-Nets systems and coloured Petri nets. In order to allow the automatic analysis of G-CPN systems, we present informally a mechanism of transformation into standard CP-Nets.