Experiences in modelling feature interactions with Coloured Petri Nets

Acta Cybernetica

Volumn 15, Issue 4, 2002, Pages 621-632

  Lorentsen, Louise ^a   Tuovinen, Antti Pekka ^b   Xu, Jianli ^b  

^a AARHUS UNIVERSITY   (Denmark)

^b NOKIA RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0036455408     PISSN: 0324721X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (10)

1. ITU (CCITT). Recommendation Z.120: MSC. Technical report, International Telecommunication Union, 1992.
2. S. Christensen. Massage Sequence Charts. User's Manual, January 1997. Available from http://www.daimi.au.dk/designCPN/.
3. S. Christensen and J.B. Jørgensen. Analysis of Bang and Olufsen's BeoLink Audio/Video System Using Coloured Petri Nets. In P. Azéma and G. Balbo, editors, Proceedings of ICATPN'97, volume 1218 of Lecture Notes in Computer Science, pages 387-406. Springer-Verlag, 1997.
4. D.J. Floreani, J. Billington, and A. Dadej. Designing and Verifying a Communications Gateway Using Coloured Petri Nets and Design/CPN. In J. Billington and W. Reisig, editors, Proceedings of ICATPN'96, volume 1091 of Lecture Notes in Computer Science, pages 153-171. Springer-Verlag, 1996.
5. K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1, Basic Concepts. Monographs in Theoretical Computer Science. Springer-Verlag, 1992.
6. K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 2, Analysis Methods. Monographs in Theoretical Computer Science. Springer-Verlag, 1994.
7. K. Jensen, S. Christensen, P. Huber, and M. Holla. Design/CPN Reference Manual. Department of Computer Science, University of Aarhus, Denmark, 1995. Online: http://www.daimi.au.dk/designCPN/.
8. L. Lorentsen and L.M. Kristensen. Modelling and Analysis of a Danfoss Flowmeter System. In M.Nielsen and D.Simpson, editors, Proceedings of ICATPN'2000, volume 1825 of Lecture Notes in Computer Science, pages 346-366. Springer-Verlag, 2000.
9. L. Lorentsen, A.-P. Tuovinen, and J. Xu. Modelling Features and Feature interactions of Nokia Mobile Phones Using Coloured Petri Nets. In J. Esparza and C. Lakos, editors, Proceedings of the 24th International Conference on Application and Theory of Petri Nets (ICATPN'2002), Lecture Notes in Computer Science. Springer-Verlag, 2002.
10. J. Xu and J. Kuusela. Analyzing the Execution Architecture of Mobile Phone Software with Colored Petri Nets. Software Tools for Technology Transfer, 2(2):133-143, December 1998.