Marcin Jamro, Dariusz Rzonca, Wojciech Rzasa. Testing communication tasks in distributed control systems with SysML and Timed Colored Petri Nets model. Computers in Industry, 71:77-87, 2015. [doi]
@article{JamroRR15,
title = {Testing communication tasks in distributed control systems with SysML and Timed Colored Petri Nets model},
author = {Marcin Jamro and Dariusz Rzonca and Wojciech Rzasa},
year = {2015},
doi = {10.1016/j.compind.2015.03.007},
url = {http://dx.doi.org/10.1016/j.compind.2015.03.007},
researchr = {https://researchr.org/publication/JamroRR15},
cites = {0},
citedby = {0},
journal = {Computers in Industry},
volume = {71},
pages = {77-87},
}