Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems

@article{Jensen2007ColouredPN,
  title={Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems},
  author={Kurt Jensen and Lars Michael Kristensen and Lisa Wells},
  journal={International Journal on Software Tools for Technology Transfer},
  year={2007},
  volume={9},
  pages={213-254}
}
Coloured Petri Nets (CPNs) is a language for the modelling and validation of systems in which concurrency, communication, and synchronisation play a major role. Coloured Petri Nets is a discrete-event modelling language combining Petri nets with the functional programming language Standard ML. Petri nets provide the foundation of the graphical notation and the basic primitives for modelling concurrency, communication, and synchronisation. Standard ML provides the primitives for the definition… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 711 CITATIONS

Analysis of two authorization protocols using Colored Petri Nets

  • International Journal of Information Security
  • 2014
VIEW 16 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Formal analysis of security properties in trusted computing protocols

VIEW 11 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

CPN tools-assisted simulation and verification of nested Petri nets

  • Automatic Control and Computer Sciences
  • 2013
VIEW 15 EXCERPTS
HIGHLY INFLUENCED

Complex characteristics of energy management system for distributed renewable energy generation

Zeng Jun, Liu Jun-feng, Wu Li-qun, Wu Jie, H. W. Ngan
  • 2012
VIEW 10 EXCERPTS
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

2007
2019

CITATION STATISTICS

  • 153 Highly Influenced Citations

  • Averaged 37 Citations per year from 2017 through 2019

References

Publications referenced by this paper.