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

Kurt Jensen, Lars M. Kristensen

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

Access to Document

@article{923bdb6644024044bee386f465963c9c,

title = "Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems",

author = "Kurt Jensen and Kristensen, {Lars M.}",

year = "2015",

doi = "10.1145/2663340",

language = "English",

volume = "58",

pages = "61--70 ",

journal = "Communications of the A C M",

issn = "0001-0782",

publisher = "ACM",

number = "6",

}