DocumentCode
2211490
Title
A Petri net meta-model to develop software components for embedded systems
Author
Machado, Ricardo J. ; Fernandes, João M.
Author_Institution
Dept. Sistemas de Informacao, Univ. do Minho, Guimaraes, Portugal
fYear
2001
fDate
2001
Firstpage
113
Lastpage
122
Abstract
This paper presents a new Petri net (PN) meta-model, called shobi-PN v2.0, that can be used to specify, the dynamic behaviour of concurrent systems, using object-oriented modelling concepts together with a generalised arc set capable of coping with the complexity of the current embedded systems. This new Petri net meta-model can also be used to support a component-based development approach in the design of generic and parametrisable control-oriented software components for embedded systems
Keywords
Petri nets; concurrency theory; embedded systems; Petri net meta-model; complexity; concurrent systems; embedded systems; object-oriented modelling; shobi-PN v2.0; Concurrent computing; Context modeling; Embedded software; Embedded system; ISO standards; Object oriented modeling; Proposals; Real time systems; Software systems; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Application of Concurrency to System Design, 2001. Proceedings. 2001 International Conference on
Conference_Location
Newcastle upon Tyne
Print_ISBN
0-7695-1071-X
Type
conf
DOI
10.1109/CSD.2001.981769
Filename
981769
Link To Document