Skip to main content
SpringerLink
Log in

Modelling and Analysis of a DANFOSS Flowmeter System Using Coloured Petri Nets

  • Conference paper
  • First Online:
Application and Theory of Petri Nets 2000 (ICATPN 2000)

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

Included in the following conference series:

Abstract

Danfoss is a Danish manufacturer of refrigeration, motion, heating, and water controls. This paper describes the main results of a project on the modelling and analysis of a Danfoss flowmeter system using Coloured Petri Nets (CP-nets or CPNs). A modern flowmeter system consists of a number of communicating processes, cooperating to make various measurements on, e.g., the flow of water through a pipe. The purpose of the project was to investigate the application of CP-nets for validation of the communication protocols used in the flowmeter system. Analysis by means of state spaces successfully identified problems in the proposed communication protocols. An alternative design was analysed using state spaces reduced by taking advantage of the inherent symmetries in the system. Exploiting the symmetries made it possible to analyse configurations of the flowmeter system approaching the size of typical flowmeter systems.

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

Access this chapter

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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. Awad, J. Kuusela, and J. Ziegler. Object-Oriented Technology for Real-Time Systems: A Practical Approach using OMT and Fusion. Prentice-Hall, 1996.

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  4. S. Christensen. Message Sequence Charts. User’s Manual, January 1997. Available from http://www.daimi.au.dk/designCPN/.

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

    Google Scholar 

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

    Article  Google Scholar 

  7. E.M. Clarke, R. Enders, T. Filkorn, and S. Jha. Exploiting Symmetries in Temporal Model Logic Model Checking. Formal Methods in System Design, 9, 1996.

    Google Scholar 

  8. J.D. Day and H. Zimmermann. The OSI Reference Model. Proceedings of the IEEE, 71, December 1983.

    Google Scholar 

  9. E.A. Emerson and A. Prasad Sistla. Symmetry and Model Checking. Formal Methods in System Design, 9, 1996.

    Google Scholar 

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

    Google Scholar 

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

  12. K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 2, Analysis Methods. Monographs in Theoretical Computer Science. Springer-Verlag, 1994.

    Google Scholar 

  13. K. Jensen. Condensed State Spaces for Symmetrical Coloured Petri Nets. Formal Methods in System Design, 9, 1996.

    Google Scholar 

  14. L.M. 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.

    Article  Google Scholar 

  15. W. Lawrenz. CAN Contoller Area Network, Grundlagen und Praxis. Hüttig Buch Verlag, Heidelberg, 1994.

    Google Scholar 

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

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

  18. A. Valmari. Stubborn Sets of Coloured Petri Nets. In G. Rozenberg, editor, Proceedings of ICATPN’91, pages 102–121, 1991.

    Google Scholar 

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

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

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

    Louise Lorentsen & Lars Michael Kristensen

Authors
  1. Louise Lorentsen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Lars Michael Kristensen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Aarhus, Ny Munkegade bldg 540, 8000, Aarhus C, Denmark

    Mogens Nielsen

  2. University of Brighton, Watts Building Lewes Road, Brighton, East Sussex, BN2 4GJ, UK

    Dan Simpson

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lorentsen, L., Kristensen, L.M. (2000). Modelling and Analysis of a DANFOSS Flowmeter System Using Coloured Petri Nets. In: Nielsen, M., Simpson, D. (eds) Application and Theory of Petri Nets 2000. ICATPN 2000. Lecture Notes in Computer Science, vol 1825. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44988-4_20

Download citation

  • DOI: https://doi.org/10.1007/3-540-44988-4_20

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67693-5

  • Online ISBN: 978-3-540-44988-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation