The practitioner's guide to coloured Petri nets

被引：166

作者：

Kristensen L.M. ^{[1
]}

Christensen S. ^{[1
]}

Jensen K. ^{[1
]}

机构：

[1] CPN Group, Department of Computer Science, University of Aarhus

来源：

International Journal on Software Tools for Technology Transfer | 1998年 / 2卷 / 2期

关键词：

Coloured Petri nets; High-level Petri nets; Modelling; Practical use; Tool support; Validation; Verification; Visualisation;

D O I：

10.1007/s100090050021

中图分类号：

学科分类号：

摘要：

Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of application areas and many CPN projects have been carried out in industry, e.g., in the areas of communication protocols, operating systems, hardware designs, embedded systems, software system designs, and business process re-engineering. Design/CPN is a graphical computer tool supporting the practical use of CP-nets. The tool supports the construction, simulation, and functional and performance analysis of CPN models. The tool is used by more than four hundred organisations in forty different countries - including one hundred commercial companies. It is available free of charge, also for commercial use. This paper provides a comprehensive road map to the practical use of CP-nets and the Design/CPN tool. We give an informal introduction to the basic concepts and ideas underlying CP-nets. The key components and facilities of the Design/CPN tool are presented and their use illustrated. The paper is self-contained and does not assume any prior knowledge of Petri nets and CP-nets nor any experience with the Design/CPN tool. © 1998 Springer-Verlag.

引用

页码：98 / 132

页数：34

共 66 条

[1]

Appel A.W., McQueen D.B., Standard ML of New Jersey, Third International Symposium on Programming Languages Implementation and Logic Programming, (1991)

[2]

Bertsekas D., Gallager R., Data Networks, (1992)

[3]

Campos S., Clarke E., Analysis and Verification of Real-time Systems using Quantitative Symbolic Algorithms

[4]

Capellmann C., Christensen S., Herzog U., Visualising the Behaviour of Intelligent Networks, Services and Visualisation, 1385, pp. 174-189, (1998)

[5]

Recommendation z 120: Msc, (1992)

[6]

Cheng A., Christensen S., Mortensen K.H., Model Checking Coloured Petri Nets Exploiting Strongly Connected Components, Proceedings of the International Workshop on Discrete Event Systems, (1996)

[7]

Cherkasova L., Kotov V., Rokicki T., On Net Modelling of Industrial Size Concurrent Systems, Proceedings of ICATPN' 93. LNCS 691, (1993)

[8]

Cherkasova L., Kotov V., Rokicki T., On Scalable Net Modeling of OLTP, Proceedings of the 5th International Workshop on Petri nets and Performance Models, (1993)

[9]

Christensen S., Jorgensen J.N., Analysis of Bang and Olufsen's BeoLink Audio/Video System Using Coloured Petri Nets, Proceedings of ICATPN' 97. LNCS 1248, (1997)

[10]

Christensen S., Jorgensen J.B., Kristensen L.M., Design/CPN-A Computer Tool for Coloured Petri Nets, Proceedings of TACAS' 97. LNCS 1217. Berlin, pp. 209-223, (1997)

← 1 2 3 4 5 6 7 →