Server consolidation using Coloured Petri Nets and CPN tools

2015 ◽  
Author(s):  
Issam Al-Azzoni
Keyword(s):  
Petri Nets ◽  
Coloured Petri Nets ◽  
Server Consolidation ◽  
Cpn Tools

scholarly journals Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 22-24, 2007

2007 ◽  
Vol 36 (584) ◽  
Author(s):  
Kurt Jensen
Keyword(s):  
Petri Nets ◽  
Computer Science ◽  
Web Pages ◽  
Coloured Petri Nets ◽  
Electronic Form ◽  
Cpn Tools ◽  
The Web

This booklet contains the proceedings of the Eighth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 22-24, 2007. The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark. The papers are also available in electronic form via the web pages: http://www.daimi.au.dk/CPnets/workshop07

Flexible Job Shop Models for Solving Scheduling and Layout Problems Using Coloured Petri Nets

2014 ◽  
Vol 598 ◽  
pp. 638-642
Author(s):  
José Eloundou ◽  
David Baudry ◽  
M’hammed Sahnoun ◽  
Abdelaziz Bensrhair ◽  
Anne Louis ◽  
...  
Keyword(s):  
Petri Nets ◽  
Programming Language ◽  
Manufacturing Systems ◽  
Job Shop ◽  
Optimization Methods ◽  
Heuristic Optimization ◽  
Coloured Petri Nets ◽  
Flexible Job Shop ◽  
Cpn Tools ◽  
Manufacturing Problems

In this paper we propose models for solving both the layout manufacturing problems and the scheduling manufacturing systems. These models are based on Coloured petri Nets. The particularity of our models is the possibility to include complex programmable functions inside the petri nets models. In our case the programming language is SML/NJ. The advantage of programming language is the possibility to use Heuristics or Meta-heuristic optimization methods inside the Coloured Petri Nets (CPN) model without the necessity to relaunch the simulation of the model at each step of optimization. For describing, analysing and simulating our models we will use CPN Tools.

scholarly journals Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 24-26, 2006

2006 ◽  
Vol 35 (579) ◽  
Author(s):  
Kurt Jensen
Keyword(s):  
Petri Nets ◽  
Computer Science ◽  
Web Pages ◽  
Coloured Petri Nets ◽  
Electronic Form ◽  
Cpn Tools ◽  
The Web

This booklet contains the proceedings of the Seventh Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 24-26, 2006. The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark. The papers are also available in electronic form via the web pages: http://www.daimi.au.dk/CPnets/workshop06

scholarly journals CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets

2001 ◽  
pp. 71-80 ◽  
Author(s):  
Michel Beaudouin-Lafon ◽  
Wendy E. Mackay ◽  
Peter Andersen ◽  
Paul Janecek ◽  
Mads Jensen ◽  
...  
Keyword(s):  
Petri Nets ◽  
Coloured Petri Nets ◽  
Cpn Tools

scholarly journals Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools Aarhus, Denmark, October 19-21, 2009

2009 ◽  
Vol 38 (590) ◽  
Author(s):  
Kurt Jensen
Keyword(s):  
Petri Nets ◽  
Computer Science ◽  
Web Pages ◽  
Coloured Petri Nets ◽  
Electronic Form ◽  
Cpn Tools ◽  
The Web

This booklet contains the proceedings of the Tenth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 19-21, 2009. The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark. The papers are also available in electronic form via the web pages: http://www.cs.au.dk/CPnets/events/workshop09

Modeling NCS Base on 1553B Bus with CPN

2014 ◽  
Vol 631-632 ◽  
pp. 755-760
Author(s):  
Jing Cun Bi ◽  
Yan Fei Liu ◽  
Wei Jun Yang ◽  
Qi Li
Keyword(s):  
Control System ◽  
Petri Nets ◽  
Networked Control System ◽  
Networked Control ◽  
Coloured Petri Nets ◽  
Cpn Tools

According the characteristics of the tasks and the messages transmitted in Networked Control System,the CPN model of NCS is established. The model is detecting by using the simulation facility provided by CPN tools. It indicates the model is validated. Keyword: 1553B bus,Networked Control System,Coloured Petri Nets

scholarly journals Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools Aarhus, Denmark, October 24-26, 2005

2005 ◽  
Vol 34 (576) ◽  
Author(s):  
Kurt Jensen
Keyword(s):  
Petri Nets ◽  
Computer Science ◽  
Web Pages ◽  
Coloured Petri Nets ◽  
Electronic Form ◽  
Cpn Tools ◽  
The Web

This booklet contains the proceedings of the Sixth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 24-26, 2005. The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark. The papers are also available in electronic form via the web pages: http://www.daimi.au.dk/CPnets/workshop05

CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets

2003 ◽  
pp. 450-462 ◽  
Author(s):  
Anne Vinter Ratzer ◽  
Lisa Wells ◽  
Henry Michael Lassen ◽  
Mads Laursen ◽  
Jacob Frank Qvortrup ◽  
...  
Keyword(s):  
Petri Nets ◽  
Coloured Petri Nets ◽  
Cpn Tools
Sign in / Sign up

Export Citation Format

Share Document