Integrated Integration Definition Language 0 (IDEF) and coloured Petri nets (CPN) modelling and simulation tool: a study on mould-making processes

2006 ◽  
Vol 44 (16) ◽  
pp. 3179-3205 ◽  
Author(s):  
K.-S. Chin ◽  
X. Zu ◽  
C. K. Mok ◽  
H. Y. Tam
Keyword(s):  
Petri Nets ◽  
Modelling And Simulation ◽  
Coloured Petri Nets ◽  
Simulation Tool

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