Modelling and Simulation of a Network Management System using Hierarchical Coloured Petri Nets: Extended version

Authors

  • Søren Christensen
  • Leif Obel Jepsen

DOI:

https://doi.org/10.7146/dpb.v20i349.6579

Abstract

Development of distributed software systems is a complex task. This paper argues that design and specification can be supported by modelling and simulation using Hierarchical Coloured Petri Nets (CP-nets). This conclusion is based on a case study of a project in which CP-nets were used in the detailed design of a software module. The software module is part of the Network Management System of the RcPAX X.25 wide area network. The module was designed using the Design/CPN tool which allows editing and simulation of CP-nets. Furthermore invariant techniques were used to prove properties of the module.

Genoptrykt i Oktober 1994 i 100 eksemplarer.

Author Biographies

Søren Christensen

Leif Obel Jepsen

Downloads

Published

1994-10-01

How to Cite

Christensen, S., & Jepsen, L. O. (1994). Modelling and Simulation of a Network Management System using Hierarchical Coloured Petri Nets: Extended version. DAIMI Report Series, 20(349). https://doi.org/10.7146/dpb.v20i349.6579

Issue

No. 349 (1991): PB-349 Modelling and Simulation of a Network Management System using Hierarchical Coloured Petri Nets: Extended version

Section

Articles

License

Creative Commons License

Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.