articleInternational Journal on Software Tools for Technology TransferMar 13, 2007Closed access

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

KJKurt JensenLMLars Michael KristensenLWLisa Wells

Aarhus University

Indexed incrossref

Abstract

No abstract available for this paper.

Citation impact

1,119
total citations
FWCI
83.00
Percentile
100%
References
37
Citations per year

Authors

3

Topics & keywords

Topics
Keywords
  • Petri net
  • Computer science
  • Concurrency
  • Executable
  • Programming language
  • Notation
  • Process architecture
  • Theoretical computer science
No related works found for this paper.