%0 Journal Article %1 journals/cacm/JensenK15 %A Jensen, Kurt %A Kristensen, Lars Michael %D 2015 %J Commun. ACM %K dblp %N 6 %P 61-70 %T Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems. %U http://dblp.uni-trier.de/db/journals/cacm/cacm58.html#JensenK15 %V 58

@article{journals/cacm/JensenK15, added-at = {2018-11-06T00:00:00.000+0100}, author = {Jensen, Kurt and Kristensen, Lars Michael}, biburl = {https://www.bibsonomy.org/bibtex/2b4a4df679daa341c7d3931a6ef86c937/dblp}, ee = {https://doi.org/10.1145/2663340}, interhash = {8e37027867291e10804caf37883c5dd7}, intrahash = {b4a4df679daa341c7d3931a6ef86c937}, journal = {Commun. ACM}, keywords = {dblp}, number = 6, pages = {61-70}, timestamp = {2018-11-07T12:00:52.000+0100}, title = {Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems.}, url = {http://dblp.uni-trier.de/db/journals/cacm/cacm58.html#JensenK15}, volume = 58, year = 2015 }