This paper presents the experiences obtained from modeling and analyzing a real-world application of distributed embedded computing. The modeling language Coloured Petri Nets (CPN) has been applied to analyze the properties of a communication system in a windmill, which enables a group of embedded computers to share a group of variables. A CPN-based model of the system is used to analyze certain real-time properties of the system. © 2006 International Federation for Information Processing.
CITATION STYLE
Tjell, S. (2006). Model-based analysis of a windmill communication system. In IFIP International Federation for Information Processing (Vol. 225, pp. 245–254). https://doi.org/10.1007/978-0-387-39362-9_26
Mendeley helps you to discover research relevant for your work.