Colored Petri nets - Research - Aarhus University

Aarhus University Seal

For students
For PhDs
For employees
Departments and faculties
AU Library

Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

DOI

https://doi.org/10.1145/2663340
Final published version

Kurt Jensen
Lars M. Kristensen, University of Bergen, Norway

Department of Computer Science

Original language	English
Journal	Communications of the A C M
Volume	58
Issue	6
Pages (from-to)	61-70
Number of pages	10
ISSN	0001-0782
DOIs	https://doi.org/10.1145/2663340
Publication status	Published - 2015

See relations at Aarhus University Citationformats

ID: 87223698