bookJan 1, 2009Closed access

Coloured Petri Nets Modeling and Validation of Concurrent Systems

KJKurt JensenLMLars Michael Kristensen

Aarhus University

Abstract

No abstract available for this paper.

Citation impact

832
total citations
FWCI
—
Percentile
—
References
2
Citations per year

Authors

2

Topics & keywords

Topics
Keywords
  • Petri net
  • Concurrency
  • Computer science
  • Programming language
  • Process architecture
  • Distributed computing
  • Software engineering
No related works found for this paper.