Application of Coloured Petri Nets in System Development

Application of Coloured Petri Nets in System Development
复制标题

彩色Petri网在系统开发中的应用

DOI：
10.1007/978-3-540-27755-2_18
复制
发表时间：
2003
期刊：
--
影响因子：
--
通讯作者：
K. Jensen
K. Jensen
中科院分区：
--
文献类型：
--
作者：
L. Kristensen;Jens Bæk Jørgensen;K. Jensen

文献摘要

被引文献

相似文献

有色Petri网(CP网或CPN)及其支持的计算机工具已被广泛应用于通信协议、软件设计和嵌入式系统等领域。CP网的实际应用还涵盖了系统开发的许多阶段，从需求到设计、验证和实现。本文介绍了CP网及其支持的计算机工具在与工业伙伴的系统开发项目中的四个案例研究。选择案例研究是为了说明CP网在系统开发的不同阶段的不同应用领域。
Coloured Petri Nets (CP-nets or CPNs) and their supporting computer tools have been used in a wide range of application areas such as communication protocols, software designs, and embedded systems. The practical application of CP-nets has also covered many phases of system development ranging from requirements to design, validation, and implementation. This paper presents four case studies where CP-nets and their supporting computer tools have been used in system development projects with industrial partners. The case studies have been selected such that they illustrate different application areas of CP-nets in various phases of system development.