• DocumentCode
    289848
  • Title

    Object-oriented concepts for coloured Petri nets

  • Author

    Becker, Ulrich ; Moldt, Daniel

  • Author_Institution
    Fachbereich Inf., Hamburg Univ., Germany
  • fYear
    1993
  • fDate
    17-20 Oct 1993
  • Firstpage
    279
  • Abstract
    For object-oriented specifications no techniques are available which are able to model parallel aspects. The techniques proposed up to now are all inadequate. At the same time there is no method for the use of coloured Petri nets. The authors propose to use coloured Petri nets with their known advantages for object-oriented analysis and object-oriented design to get a synergetic effect. This paper introduces an object-oriented interpretation of coloured Petri nets. The authors show how to enrich the coloured Petri net model so, that the object-oriented concepts can be used as the methodology. Only minor assumptions are made about the inscription language. The approach should easily be transferable to other high-level nets. The authors do not consider a modification of the nets
  • Keywords
    Computer languages; Concurrent computing; Design for disassembly; Formal specifications; Object oriented modeling; Object oriented programming; Petri nets; Postal services; Process design; Software engineering;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Systems, Man and Cybernetics, 1993. 'Systems Engineering in the Service of Humans', Conference Proceedings., International Conference on
  • Conference_Location
    Le Touquet
  • Print_ISBN
    0-7803-0911-1
  • Type

    conf

  • DOI
    10.1109/ICSMC.1993.385024
  • Filename
    385024