scholarly journals Modelling and Simulation of Scheduling Policies Implemented in Ethernet Switch by Using Coloured Petri Nets

2006 ◽  
Author(s):  
B. Brahimi ◽  
C. Aubrun ◽  
E. Rondeau
Keyword(s):  
Petri Nets ◽  
Modelling And Simulation ◽  
Coloured Petri Nets ◽  
Scheduling Policies ◽  
Ethernet Switch

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

1994 ◽  
Vol 20 (349) ◽  
Author(s):  
Søren Christensen ◽  
Leif Obel Jepsen
Keyword(s):  
Network Management ◽  
Petri Nets ◽  
Management System ◽  
Modelling And Simulation ◽  
Software Systems ◽  
Coloured Petri Nets ◽  
Area Network ◽  
Wide Area Network ◽  
Network Management System ◽  
Software Module

<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>

Sign in / Sign up

Export Citation Format

Share Document