Title :
An object-oriented Petri net modeling tool and abstraction mechanisms for cooperative systems
Author :
De Medeiros, Ana K A ; Guerrero, Dalton D S ; De Figueiredo, Jorge C A ; Perkusich, Angelo
Author_Institution :
Dept. de Sistemas e Comput., Univ. Fed. da Paraiba, Brazil
Abstract :
Groupware systems are inherently concurrent and complex. To formally specify such systems, designers need powerful description tools capable of dealing with concurrency and mechanisms to manage the complexity. In this paper, we present an object-oriented specification language based on Petri nets, and its application to the modeling of a cooperative editor.
Keywords :
Petri nets; groupware; object-oriented languages; specification languages; abstraction mechanisms; concurrency; cooperative editor; cooperative systems; groupware systems; object-oriented Petri net modeling tool; object-oriented specification language; Collaborative software; Collaborative work; Concurrent computing; Cooperative systems; Energy management; Object oriented modeling; Petri nets; Power system management; Power system modeling; Specification languages;
Conference_Titel :
Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on
Print_ISBN :
0-7803-4778-1
DOI :
10.1109/ICSMC.1998.725404
