Title :
Object-based high-level Petri nets as a formal approach to distributed information systems
Author :
Guerrero, Dalton D S ; De Figueiredo, Jorge C A ; Perkusich, Angelo
Author_Institution :
Dept. of Comput. Sci., Fed.. Univ. of Paraiba, Brazil
Abstract :
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
Keywords :
Petri nets; distributed databases; formal specification; graph colouring; object-oriented methods; software tools; G-CPN tool; G-Nets systems; coloured Petri nets; distributed information systems; formal description; formal specification; object-based high-level Petri nets; Computer science; Distributed information systems; Information analysis; Information systems; Object oriented modeling; Petri nets; Prototypes; Software prototyping; Standards development; Virtual prototyping;
Conference_Titel :
Systems, Man, and Cybernetics, 1997. Computational Cybernetics and Simulation., 1997 IEEE International Conference on
Conference_Location :
Orlando, FL
Print_ISBN :
0-7803-4053-1
DOI :
10.1109/ICSMC.1997.633173
