• DocumentCode
    2200146
  • 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
  • Volume
    1
  • fYear
    1998
  • fDate
    11-14 Oct 1998
  • Firstpage
    172
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on
  • ISSN
    1062-922X
  • Print_ISBN
    0-7803-4778-1
  • Type

    conf

  • DOI
    10.1109/ICSMC.1998.725404
  • Filename
    725404
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2200146