Coloured Petri net

Known as: Coloured Petri nets, Colored Petri net, Colored Petri nets 
Coloured Petri nets (CPN) are a backward compatible extension of the concept of Petri nets. CPN preserve useful properties of Petri nets and at the… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
We may not be able to make you love reading, but coloured petri nets basic concepts analysis methods and practical use volume 2… (More)
Is this relevant?
2007
2007
This paper presents recent developments of a Coloured Petri Net Simulator tool. This tool integrates some principles taken from… (More)
  • figure 1
  • figure 3
  • figure 2
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Coloured Petri Nets (CPNs) is a language for the modelling and validation of systems in which concurrency, communication, and… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2007
2007
When designing a complex system with critical requirements (e.g. for safety issues), formal models are often used for analysis… (More)
  • figure 1
  • figure 3
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
2003
Highly Cited
2003
The Internet is going through several major changes. It has become a vehicle of Web services rather than just a repository of… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2003
2003
Public-key infrastructures are a prerequisite for security in distributed systems and for reliable electronic commerce. It is… (More)
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2003
Highly Cited
2003
CPN Tools is a tool for editing, simulating and analysing Coloured Petri Nets. The GUI is based on advanced interaction… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1995
Highly Cited
1995
This paper seeks to establish within a formal framework how Coloured Petri Nets can be enhanced to produce Object Petri Nets. It… (More)
  • figure 2.1
  • figure 2.2
  • figure 3.1
  • figure 4.1
  • figure 4.2
Is this relevant?
Highly Cited
1989
Highly Cited
1989
The paper shows how to extend Coloured Petri Nets with a hierarchy concept. The paper proposes five different hierarchy… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1987
1987
In this paper, we propose an approach, using Coloured Petri Nets (CPN) for modelling flexible manufacturing systems. We… (More)
  • table 1
Is this relevant?