Lars Michael Kristensen, Kent Inge Fagerland Simonsen. Applications of Coloured Petri Nets for Functional Validation of Protocol Designs. T. Petri Nets and Other Models of Concurrency, 7:56-115, 2013. [doi]
@article{KristensenS13, title = {Applications of Coloured Petri Nets for Functional Validation of Protocol Designs}, author = {Lars Michael Kristensen and Kent Inge Fagerland Simonsen}, year = {2013}, doi = {10.1007/978-3-642-38143-0_3}, url = {http://dx.doi.org/10.1007/978-3-642-38143-0_3}, researchr = {https://researchr.org/publication/KristensenS13}, cites = {0}, citedby = {0}, journal = {T. Petri Nets and Other Models of Concurrency}, volume = {7}, pages = {56-115}, }