Skip to main content
SpringerLink
Log in
Book cover

International Conference on Application and Theory of Petri Nets

ICATPN 2002: Application and Theory of Petri Nets 2002 pp 294–313Cite as

Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2360))

Abstract

This paper reports on the main results from an industrial cooperation project1. The project is a joint project between Nokia Research Centre and the CPN group at the University of Aarhus. The purpose of the project was to investigate features and feature interactions in development of Nokia mobile phones through construction of a Coloured Petri Nets (CPN) model. The model is extended with domain-specific graphics and Message Sequence Charts to enable mobile phone user interface designers and software developers who are not familiar with Petri Nets to work with the model. The paper presents the CPN model constructed in the project, describes how domain-specific graphics and Message Sequence Charts are used in simulations of the CPN model, and discusses how the project and in particular the construction of the CPN model has influenced the development process of features in Nokia mobile phones.

The project is funded by Nokia Mobile Phones.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. D. Amyot, L. Charfi, N. Gorse, T. Gray, L. Logrippo, J. Sincennes, B. Stepien, and T. Ware. Feature Description and Feature Interaction Analysis with Use Case Maps and LOTOS. In M. Calder and E. Magill, editors, Feature Interactions in Telecommunications and Software Systems, volume VI, Amsterdam, May 2000. IOS Press.

    Google Scholar 

  2. M. Calder, M. Kolberg, E. H. Magill, and S. Reiff-Marganiec. Feature Interaction: A Critical Review and Considered Forecast. Submitted for publication. On-line version: http://www.dcs.gla.ac.uk/~muffy/papers/calder-kolberg-magill-reiff.pdf.

  3. M. Calder and E. Magill. Feature Interactions in Telecommunications and Software Systems VI. IOS Press, 2000.

    Google Scholar 

  4. M. Calder and A. Miller. Using SPIN for Feature Interaction Analysis-a Case Study. In Proceedings of SPIN 2001, volume 2057 of Lecture Notes in Computer Science, pages 143–162. Springer-Verlag, 2001.

    Google Scholar 

  5. A. Cheng, S. Christensen, and K. Mortensen. Model Checking Coloured Petri Nets Exploiting Strongly Connected Components. In M. Spathopoulos, R. Smedinga, and P. Kozák, editors, Proceedings of WODES’96. Institution of Electrical Engineers, Computing and Control Division, Edinburgh, UK, 1996.

    Google Scholar 

  6. S. Christensen, K. Jensen, and L. Kristensen. Design/CPN Occurrence Graph Manual. Department of Computer Science, University of Aarhus, Denmark. On-line version: http://www.daimi.au.dk/designCPN/.

  7. S. Christensen and J. 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 1248 of Lecture Notes in Computer Science, pages 387–406. Springer-Verlag, 1997.

    Google Scholar 

  8. S. Christensen and K. H. Mortensen. Design/CPN ASK-CTL Manual. Department of Computer Science, University of Aarhus, Denmark, 1996. Online: http://www.daimi.au.dk/designCPN/.

    Google Scholar 

  9. E. Clarke, E. Emerson, and A. Sistla. Automatic Verification of Finite State Concurrent Systems using Temporal Logic. ACM Transactions on Programming Languages and Systems, 8(2):244–263, 1986.

    Article  MATH  Google Scholar 

  10. Design/CPN Online. http://www.daimi.au.dk/designCPN/.

  11. H. Genrich. Predicate/Transition Nets. In K. Jensen and G. Rozenberg, editors, High-level Petri Nets, pages 3–43. Springer-Verlag, 1991.

    Google Scholar 

  12. J.-S. Hwang and W. A. Miller. Hybrid Blackboard Model for Feature Interactions in Process Planning. Computers and Industrial Engineering, 29(1–4):613–617, 1995.

    Article  Google Scholar 

  13. ITU (CCITT). Recommendation Z.120: MSC. Technical report, International Telecommunication Union, 1992.

    Google Scholar 

  14. K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1, Basic Concepts. Monographs in Theoretical Computer Science. Springer-Verlag, 1992.

    Google Scholar 

  15. D. O. Keck and P. J. Kuehn. The Feature and Service Interaction Problem in Telecommunication Systems: A survey. IEEE Transactions on Software Engineering, 24(10):779–796, October 1998.

    Google Scholar 

  16. K. Kimbler and L. G. Bouma. Feature Interactions in Telecommunications and Software Systems V. IOS Press, 1998.

    Google Scholar 

  17. L. Kristensen, S. Christensen, and K. Jensen. The Practitioner’s Guide to Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 2(2):98–132, December 1998.

    Google Scholar 

  18. L. Lorentsen and L. 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.

    Google Scholar 

  19. M. Nakamura, Y. Kakuda, and T. Kikuno. Feature Interaction Detection using Permutation Symmety. In K. Kimbler and L. G. Bouma, editors, Feature Interactions in Telecommunications and Software Systems, volume V, pages 187–201, Amsterdam, September 1998. IOS Press.

    Google Scholar 

  20. D.-B. Perng and C.-F. Chang. Resolving Feature Interactions in 3rd Part Editing. Computer-Aided Design, 29(10):687–699, 1997.

    Article  Google Scholar 

  21. J. L. Rasmussen and M. Singh. Mimic/CPN. A Graphical Simulation Utility for Design/CPN. User’s Manual. On-line version: http://www.daimi.au.dk/designCPN/.

  22. A. Valmari. Error Detection by Reduced Reachability Graph Generation. In Proceedings of the 9th European Workshop on Application and Theory of Petri Nets, pages 95–112, 1988.

    Google Scholar 

  23. 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Aarhus, IT-parken, Aabogade 34, DK-8200, Aarhus N, Denmark

    Louise Lorentsen

  2. Software Technology Laboratory, Nokia Research Centre, P.O. Box 407, FIN-00045, Nokia Group, Finland

    Antti-Pekka Tuovinen & Jianli Xu

Authors
  1. Louise Lorentsen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Antti-Pekka Tuovinen
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jianli Xu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Division of Informatics, University of Edinburgh, James Clerk Maxwell Building, The King’s Buildings Mayfield Road, Edinburgh, EH9 3JZ, UK

    Javier Esparza

  2. Department of Computer Science, University of Adelaide, North Terrace, Adelaide, SA, 5005, Australia

    Charles Lakos

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lorentsen, L., Tuovinen, AP., Xu, J. (2002). Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets. In: Esparza, J., Lakos, C. (eds) Application and Theory of Petri Nets 2002. ICATPN 2002. Lecture Notes in Computer Science, vol 2360. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48068-4_18

Download citation

  • DOI: https://doi.org/10.1007/3-540-48068-4_18

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43787-1

  • Online ISBN: 978-3-540-48068-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation