Application of coloured Petri nets in system development

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

Volumn 3098, Issue , 2004, Pages 626-685

  Kristensen, Lars Michael ^a   Jørgensen, Jens Bæk ^a   Jensen, Kurt ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; EMBEDDED SYSTEMS; PETRI NETS;

APPLICATION AREA; CASE-STUDIES; COLOURED PETRI NETS; COMPUTER TOOLS; INDUSTRIAL PARTNERS; REQUIREMENTS TO DESIGNS; SYSTEM DEVELOPMENT; SYSTEM DEVELOPMENT PROJECTS;

SOFTWARE DESIGN;

EID: 34250215844     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27755-2_18     Document Type: Article

References (95)

1. Aarhus Amt Electronic Patient Record. www.epj.aaa.dk.
2. D. Amyot, R.J.A. Buhr, T. Gray, and L. Logrippo. Use Case Maps for the Capture and Validation of Distributed Systems Requirements. In Proc. of 4th IEEE International Symposium on Requirements Engineering, pages 44-53. IEEE Computer Society, 1999.
3. A.I. Antón, R.A. Carter, A. Dagnino, J.H. Dempster, and D.F. Siege. Deriving Goals from a Use-Case Based Requirements Specification. Requirements Engineering Journal, 6:63-73, 2001. Springer-Verlag.
4. Australian Defence Science and Technology Organisation. www.dsto.defence.gov.au.
5. Bang & Olufsen. www.bang-olufsen.com.
6. J.E. Bardram and C. Bossen. Moving to get aHead: Local Mobility and Collaborative Work. In Proc. of 8th European Conference on Computer-supported Cooperative Work, pages 355-374. Kluwer Academic Publishers, 2003.
7. J. Billington, G. Gallasch, L.M. Kristensen, and T. Mailund. Exploiting Equivalence Reduction and the Sweep-Line Method for Detecting Terminal States. IEEE Transactions on Systems, Man, and Cybernetics. Part A: Systems and Humans, 2004. To appear.
8. C. Capellmann, S. Christensen, and U. Herzog. Visualising the Behaviour of Intelligent Networks. In Services and Visualisation, Towards User-Friendly Design, volume 1385 of Lecture Notes in Computer Science, pages 174-189. Springer-Verlag, 1998.
9. ITU (CCITT). Recommendation Z.120: MSC. Technical report, International Telecommunication Union, 1992.
10. Centre for pervasive computing, www.pervasive.dk.
11. A. Cheng, S. Christensen, and K.H. Mortensen. Model Checking Coloured Petri Nets Exploiting Strongly Connected Components. In Proc. of the International Workshop on Discrete Event Systems, WODES96. Institution of Electrical Engineers, Computing and Control Division, Edinburgh, UK, 1996.
12. H.B. Christensen and J.E. Bardram. Supporting Human Activities - Exploring Activity-Centered Computing. In Proc. of 4th Ubicomp Conference, volume 2498 of Lecture Notes in Computer Science. Springer-Verlag, 2002.
13. S. Christensen. Message Sequence Charts. User's Manual, January 1997.
14. S. Christensen and J.B. Jørgensen. Analysis of Bang and Olufsen's BeoLink Audio/Video System Using Coloured Petri Nets. In Proc. of 18th International Conference on Application and Theory of Petri Nets, volume 1248 of Lecture Notes in Computer Science, pages 387-406. Springer-Verlag, 1997.
15. S. Christensen, L.M. Kristensen, and T. Mailund. A Sweep-Line Method for State Space Exploration. In Proc. of 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, volume 2031 of Lecture Notes in Computer Science, pages 450-464. Springer-Verlag, 2001.
16. S. Christensen, L.M. Kristensen, and T. Mailund. Condensed State Spaces for Timed Petri Nets. In Proc. of 22nd International Conference on Application and Theory of Petri Nets, volume 2075 of Lecture Notes in Computer Science, pages 101-120. Springer-Verlag, 2001.
17. E. Clarke, E.A. Emerson, S. Jha, and A.P. Sistla. Symmetry Reductions in Model Checking. In Proc. of 10th International Conference on Computer-Aided Verification, volume 1427 of Lecture Notes in Computer Science, pages 147-159. Springer-Verlag, 1998.
18. E. Clarke, O. Grumberg, and D. Peled. Model Checking. The MIT Press, 1999.
19. E.M. Clarke, R. Enders, T. Filkorn, and S. Jha. Exploiting Symmetries in Temporal Logic Model Checking. Formal Methods in System Design, 9(1/2):77-104, 1996.
20. A. Cockburn. Writing Effective Use Cases. Addison-Wesley, 2000.
21. Computer Systems Engineering Centre at University of South Australia. www.unisa.edu.au/eie/csec/.
22. CPN Tools. www.daimi.au.dk/CPNtools.
23. The CPN Group at University of Aarhus. www.daimi.au.dk/CPnets.
24. J. Desel and W. Reisig. Place/Transition Petri Nets. In Lecture on Petri nets I: Basic Models, volume 1491 of Lecture Notes in Computer Science, pages 122-173. Springer-Verlag, 1998.
25. Design/CPN. www.daimi.au.dk/designCPN.
26. N. Dulac, T. Viguier, N. Leveson, and M.-A. Storey. On the Use of Visualization in Formal Requirements Specification. In Proc. of 7th IEEE International Symposium on Requirement Engineering, pages 71-80. IEEE Computer Society, 2002.
27. K. Jensen (ed.). International Journal on Software Tools for Technology Transfer, Vol. 2, No. 2. Special section on Coloured Petri nets, 1998.
28. K. Jensen (ed.). International Journal on Software Tools for Technology Transfer, Vol. 3, No. 4. Special section on Coloured Petri nets, 2001.
29. L. Elgaard. The Symmetry Method for Coloured Petri Nets. PhD thesis, Department of Computer Science, University of Aarhus, July 2002.
30. M. Elkoutbi and R.K. Keller. User Interface Prototyping Based on UML Scenarios and High-Level Petri Nets. In Proc. of 21st International Conference on Application and Theory of Petri Nets, volume 1825 of Lecture Notes in Computer Science. Springer-Verlag, 2000.
31. E. A. Emerson, A.K. Mok, A.P Sistla, and J. Srinivasan. Quantitative Temporal Reasoning. In Proc. of 2nd International Workshop on Computer-Aided Verification, volume 531 of Lecture Notes in Computer Science, pages 136-145. Springer-Verlag, 1990.
32. E.A. Emerson and A.P. Sistla. Symmetry and Model Checking. Formal Methods in System Design, 9(1/2):105-131, 1996.
33. Ericsson Telebit A/S. www.ericssontelebit.dk.
34. J. Esparza. Model Checking using Net Unfoldings. Science of Computer Programming, 23:151-195, 1994.
35. Internet Engineering Task Force. Mobile ad-hoc networks, www.ietf.org/html.charters/manet-charter.html.
36. G. Gallasch and L. M. Kristensen. Comms/CPN: A Communication Infrastructure for External Communication with Design/CPN. In Proc. of the 3rd Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pages 79-93. Department of Computer Science, University of Aarhus, 2001. DAIMI PB-554.
37. G.E. Gallasch, L.M. Kristensen, and T. Mailund. Sweep-Line State Space Exploration for Coloured Petri Nets. In Proc. of 4th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pages 101-120. Department of Computer Science, University of Aarhus, 2002. DAIMI PB-560.
38. S. Gordon, L.M. Kristensen, and J. Billington. Verification of a Revised WAP Wireless Transaction Protocol. In Proc. of 23rd International Conference on Application and Theory of Petri Nets, volume 2360 of Lecture Notes in Computer Science, pages 182-202. Springer-Verlag, 2002.
39. G.J. Holzmann. Tracing Protocols. Bell System Technical Journal, 64:2413-2434, 1985.
40. G.J. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall International Editions, 1991.
41. G.J. Holzmann. An Analysis of Bitstate Hashing. Formal Methods in System Design, 13(3):287-305, 1998.
42. C. Huitema. IPv6: The New Internet Protocol. Prentice-Hall, 1998.
43. C.N. Ip and D.L. Dill. Better Verification Through Symmetry. Formal Methods in System Design, 9(1/2):41-75, 1996.
44. M. Jackson. System Development. Prentice-Hall, 1983.
45. I. Jacobson, M. Christerson, P. Jonsson, and G. Övergaard. Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley, 1992.
46. C. Jard and T. Jeron. Bounded-memory Algorithms for Verification On-the-fly. In Proc. of 3rd International Workshop on Computer-Aided Verification, volume 575 of Lecture Notes in Computer Science, pages 192-202. Springer-Verlag, 1991.
47. K. Jensen. Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use. - Volume 1: Basic Concepts. Springer-Verlag, 1992.
48. K. Jensen. Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use. - Volume 2: Analysis Methods. Springer-Verlag, 1995.
49. K. Jensen. Condensed State Spaces for Symmetrical Coloured Petri Nets. Formal Methods in System Design, 9(1/2):7-40, 1996.
50. K. Jensen. Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use. - Volume 3: Practical use. Springer-Verlag, 1997.
51. K. Jensen, editor. Proceedings Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools. Available via www.daimi.au.dk/CPnets, 1998-2002.
52. J.B. Jørgensen. Coloured Petri Nets in Development of a Pervasive Health Care System. In In Proc. of 24th International Conference on Application and Theory of Petri Nets, volume 2679 of Lecture Notes in Computer Science, pages 256-275. Springer-Verlag, 2003.
53. J.B. Jørgensen and C. Bossen. Requirements Engineering for a Pervasive Health Care System. In Proc. of 11th IEEE International Requirements Engineering Conference, pages 55-64. IEEE Computer Sociery, 2003.
54. J.B. Jørgensen and C. Bossen. Executable Use Cases: Requirements for a Pervasive Health Care System. IEEE Software, March/April 2004. To appear.
55. J.B. Jørgensen and S. Christensen. Executable Design Models for a Pervasive Healthcare Middleware System. In In Proc. of the 5th UML Conference, volume 2460 of Lecture Notes in Computer Science, pages 140-149. Springer-Verlag, 2002.
56. L. M. Kristensen and A. Valmari. Finding Stubborn Sets of Coloured Petri Nets Without Unfolding. In Proceedings of 19th International Conference on Application and Theory of Petri Nets, volume 1420 of Lecture Notes in Computer Science, pages 104-123. Springer-Verlag, 1998.
57. L.M. Kristensen. Ad-hoc Networking and IPv6: Modelling and Validation. www.pervasive.dk/projects/IPv6/IPv6_summary.
58. 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, 1998.
59. L.M. Kristensen and T. Mailund. A Generalised Sweep-Line Method for Safety Properties. In Proc. of Formal Methods Europe, volume 2391 of Lecture Notes in Computer Science, pages 549-567. Springer-Verlag, 2002.
60. L.M. Kristensen and T. Mailund. A Compositional Sweep-Line State Space Exploration Method. In Proc. of Formal Techniques for Networked and Distributed Systems, volume 2529 of Lecture Notes in Computer Science, pages 327-343. Springer-Verlag, 2002.
61. P. Kruchten. The Rational Unified Process: An Introduction. Addison-Wesley, 1999.
62. B. Lindstrøm. Web-Based Interfaces for Simulation of Coloured Petri Net Models. International Journal on Software Tools for Technology Transfer, 3(4):405-416, 2001.
63. L. Lorentsen and L. M. Kristensen. Exploiting Stabilizers and Parallelism in State Space Generation with the Symmetry Method. In Proceedings of International Conference on Application of Concurrency in System Design, pages 211-220. IEEE Computer Society, 2001.
64. L. Lorentsen, A-P Tuovinen, and J. Xu. Modelling Features and Feature Interactions of Nokia Mobile Phones Using Coloured Petri Nets. In Proc. of the 23rd International Conference on Application and Theory of Petri Nets, Lecture Notes in Computer Science. Springer-Verlag, 2002.
65. K. L. McMillan. A Technique of State Space Search Based on Unfolding. Formal Methods in System Design, 6(1):45-65, 1995.
66. K.L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
67. K.H. Mortensen. Automatic Code Generation Method Based on Coloured Petri Net Models Applied on an Access Control System. In Proceedings of 21st International Conference on Application and Theory of Petri Nets, volume 1825 of Lecture Notes in Computer Science, pages 367-386. Springer-Verlag, 2000.
68. C.J. Neill and P.A. Laplante. Requirements Engineering: The State of the Practice. IEEE Software, 20(6):61-69, 2003.
69. OMG Unified Modeling Language Specification, Version 1.4. Object Management Group (OMG); UML Revision Taskforce, 2001.
70. D. Peled. All from One, One for All: On Model Checking Using Representatives. In Proc. of 5th International Conference on Computer-Aided Verification, volume 697 of Lecture Notes in Computer Science, pages 409-423. Springer-Verlag, 1993.
71. C.E. Perkins. Ad Hoc Networking. Addison-Wesley, 2001.
72. Pervasive Healthcare, www.healthcare.pervasive.dk.
73. S. Lawrence Pfleeger. Software Engineering: Theory and Practice. Prentice-Hall, 2nd edition, 2001.
74. Radio Frequency Identification, www.rfid.org.
75. J. L. Rasmussen and M. Singh. Mimic/CPN. A Graphical Simulation Utility for Design/CPN. User's Manual. www.daimi.au.dk/designCPN.
76. J.L. Rasmussen and M. Singh. Designing a Security System by Means of Coloured Petri Nets. In Proc.of 17th International Conference on Application and Theory of Petri Nets, volume 1091 of Lecture Notes in Computer Science, pages 400-419. Springer-Verlag, 1996.
77. W. Reisig. Petri Nets, volume 4 of EACTS Monographs in Theoretical Computer Science. Springer-Verlag, 1985.
78. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1999.
79. The Standard ML Basis Library. http://www.smlnj.org/doc/basis/pages/sml- std-basis.html.
80. M. Satyanarayanan. Challenges in Implementing a Context-Aware System. In Pervasive Computing, volume 1(3). IEEE, 2002.
81. M. Satyanarayanan, editor. Pervasive Computing, volume 1(1). IEEE, 2002.
82. A.J.H. Simons and I. Graham. 30 Things That Go Wrong in Object Modelling with UML 1.3. In H. Kilov, B. Rumpe, and I. Simmonds, editors, Behavioral Specifications of Businesses and Systems. Kluwer Academic Publishers, 1999.
83. W. Stallings. Data & Computer Communications. Prentice Hall, 6th edition, 2000.
84. Systematic Software Engineering A/S. www.systematic.dk.
85. The SPIN Tool. netlib.bell-labs.com/netlib/spin/whatispin.html.
86. J.D. Ullman. Elements of ML Programming. Prentice-Hall, 1998.
87. A. Valmari. A Stubborn Attack on State Explosion. In Proc. of 2nd International Workshop on Computer-Aided Verification, volume 531 of Lecture Notes in Computer Science, pages 156-165. Springer-Verlag, 1990.
88. A. Valmari. The State Explosion Problem. In Lectures on Petri Nets I: Basic Models, volume 1491 of Lecture Notes in Computer Science, pages 429-528. Springer-Verlag, 1998.
89. A. van Lamsweerde. Requirements Engineering in the Year 00: A Research Perspective. In Proc. of the 22nd International Conference on Software Engineering. ACM Press, 2000.
90. M. Weiser. The Computer for the 21st Century. In Scientific American, volume 265 (3). Scientific American, Inc., 1991.
91. L. Wells. Performance Analysis Using Coloured Petri Nets. In Proc. of the Tenth IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, pages 217-221. IEEE Computer Society, 2002.
92. L. Wells, S. Christensen, L.M. Kristensen, and K. Mortensen. Simulation Based Performance Analysis of Web Servers. In Proc. of the 9th International Workshop on Petri Nets and Performance Models, pages 59-68. IEEE Computer Society, 2001.
93. P. Wolper and P. Godefroid. Partial Order Methods for Temporal Verification. In Proc. of 4th International Conference on Concurrency Theory, volume 715 of Lecture Notes in Computer Science, pages 233-246. Springer-Verlag, 1993.
94. L. Zhang, L.M. Kristensen, C. Janczura, G. Gallasch, and J. Billington. A Coloured Petri Net based Tool for Course of Action Development and Analysis. In Proc. of Workshop on Formal Methods Applied to Defence Systems, volume 12 of Conferences in Research and Practice in Information Technology, pages 125-134. Australian Computer Society, 2001.
95. M.K. Zimmerman, K. Lundqvist, and N. Leveson. Investigating the Readability of State-Based Formal Requirements Specification Languages. In Proc. of 24th International Conference on Software Engineering, pages 33-43. ACM Press, 2002.