Anna Dedova, Laure Petrucci. From Code to Coloured Petri Nets: Modelling Guidelines. T. Petri Nets and Other Models of Concurrency, 8:71-88, 2013. [doi]
@article{DedovaP13,
title = {From Code to Coloured Petri Nets: Modelling Guidelines},
author = {Anna Dedova and Laure Petrucci},
year = {2013},
doi = {10.1007/978-3-642-40465-8_4},
url = {http://dx.doi.org/10.1007/978-3-642-40465-8_4},
researchr = {https://researchr.org/publication/DedovaP13},
cites = {0},
citedby = {0},
journal = {T. Petri Nets and Other Models of Concurrency},
volume = {8},
pages = {71-88},
}