Modelling and Simulation of a Network Management System using Hierarchical Coloured Petri Nets: Extended version
Keyword(s):
<p>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.</p><p>Genoptrykt i Oktober 1994 i 100 eksemplarer.</p>
2013 ◽
Vol 1
(4)
◽
pp. 260
◽
Keyword(s):
Keyword(s):
Keyword(s):
2014 ◽
Vol 2
(3)
◽
pp. 1-17
◽
Keyword(s):
2019 ◽
Vol 2
(4)
◽
pp. 48-53
2011 ◽
Vol 341-342
◽
pp. 705-709
◽