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 :
بازگشت