DocumentCode
1817007
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
Volume
4
fYear
1997
fDate
12-15 Oct 1997
Firstpage
3383
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man, and Cybernetics, 1997. Computational Cybernetics and Simulation., 1997 IEEE International Conference on
Conference_Location
Orlando, FL
ISSN
1062-922X
Print_ISBN
0-7803-4053-1
Type
conf
DOI
10.1109/ICSMC.1997.633173
Filename
633173
Link To Document