A methodology for complex embedded systems design : Petri nets within a UML approach
- Machado, Ricardo J.
- Fernandes, João M.
- Santos, Henrique Dinis dos
Publication date
January 2001
DOI Publisher
Springer Science and Business Media LLC Journal
issn:1571-5736Abstract
This paper focus mainly on the analysis phase, describing a UML-based approach for designing complex embedded systems, and specifically the usefulness of using shobi-PN v2.0 specifications, a Petri net extension, for modelling the dynamic behaviour. A relative complex case study is used to show the usefulness of the suggested specification approach
Add to ORKG