For the most recent entries see the Petri Nets Newsletter.

Coloured Petri Nets in Development of a Pervasive Health Care System.

Jørgensen, Jens Bæk

In: Proceedings of the 24th International Conference on Applications and Theory of Petri Nets (ICATPN 2003), Eindhoven, The Netherlands, June 23-27, 2003, pages 256-275. Volume 2679 of Lecture Notes in Computer Science / Wil M. P. van der Aalst and Eike Best (Eds.) --- Springer-Verlag, June 2003.

Abstract: Pervasive computing implies new challenges for software developers. In addition to tackling common problems pertaining to IT systems in general, new issues like mobility and context-awareness must be dealt with. The contribution of this paper is to demonstrate that Coloured Petri Nets (CPN) have potential as an aid in the development of pervasive systems. On a case study of a pervasive health care system for the hospitals in Aarhus, Denmark, we describe how CPN are applied in the everyday software development disciplines of requirements engineering and design. A number of the observations made in the case study are of a nature making them applicable to use of CPN in development of pervasive systems in general.

Keywords: Experience with using nets; case studies; higher-level net models (CPN); application of nets to health and medical systems; requirements engineering; system design; pervasive computing.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography