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
Link To Document