Modelling and analysis of a DANFOSS flowmeter system using coloured petri nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1825, Issue , 2000, Pages 346-366

  Lorentsen, Louise ^a   Kristensen, Lars Michael ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

FLOW MEASUREMENT; FLOWMETERS;

ALTERNATIVE DESIGNS; COLOURED PETRI NETS; COMMUNICATING PROCESS; CP-NETS; DANFOSS; INHERENT SYMMETRY; MODELLING AND ANALYSIS; WATER CONTROL;

PETRI NETS;

EID: 84947220661     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44988-4_20     Document Type: Conference Paper

References (19)

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.
2. ITU (CCITT). Recommendation Z.120: MSC. Technical report, International Telecommunication Union, 1992.
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.
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_ema and G. Balbo, editors, Proceedings of ICATPN'97, volume 1248 of Lecture Notes in Computer Science, pages 387-406. Springer-Verlag, 1997.
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.
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.
8. J.D. Day and H. Zimmermann. The OSI Reference Model. Proceedings of the IEEE, 71, December 1983.
9. E.A. Emerson and A. Prasad Sistla. Symmetry and Model Checking. Formal Methods in System Design, 9, 1996.
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.
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.
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.
13. K. Jensen. Condensed State Spaces for Symmetrical Coloured Petri Nets. Formal Methods in System Design, 9, 1996.
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.
15. W. Lawrenz. CAN Contoller Area Network, Grundlagen und Praxis. Hüttig Buch Verlag, Heidelberg, 1994.
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.
18. A. Valmari. Stubborn Sets of Coloured Petri Nets. In G. Rozenberg, editor, Proceedings of ICATPN'91, pages 102-121, 1991.
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.