DocumentCode :
2805424
Title :
Java code patterns for Petri net based behavioral models
Author :
Hagge, Nils ; Wagner, Bernardo
Author_Institution :
Inst. for Syst. Eng., Hannover Univ., Germany
fYear :
2005
fDate :
10-12 Aug. 2005
Firstpage :
450
Lastpage :
455
Abstract :
CNet is a component-based conception for graphically designing modular, concurrent, and distributed control systems based on Petri nets. CNet components can be considered an alternative to IEC 61499 functions blocks. The elements forming the components´ interfaces are derived from a special class of colored Petri nets, called PNet. A mapping of these interface definitions to Java language constructs has been proposed and published. In this paper we present Java code patterns that implement the behavior of the PNet language elements. These code patterns allow the automatic code generation of CNet component descriptions preserving the event-discrete and concurrent character of the Petri net representation. The concepts are explained and demonstrated using CNet/PNet, but they may be generalized and applied to other design conceptions like IEC 61499 or UML activity diagrams.
Keywords :
Java; Petri nets; control system CAD; distributed control; formal specification; graph colouring; object-oriented programming; program compilers; visual languages; CNet component descriptions; CNet distributed control system design; Java code patterns; PNet colored Petri nets; PNet language elements; Petri net based behavioral models; automatic code generation; Character generation; Design engineering; Distributed control; Fires; IEC standards; Java; Petri nets; Real time systems; Systems engineering and theory; Unified modeling language;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Industrial Informatics, 2005. INDIN '05. 2005 3rd IEEE International Conference on
Print_ISBN :
0-7803-9094-6
Type :
conf
DOI :
10.1109/INDIN.2005.1560418
Filename :
1560418
Link To Document :
بازگشت