Pengfei Sun, Philippe Bon, Simon Collart Dutilleul. A Joint Development of Coloured Petri Nets and the B Method in Critical Systems. J. UCS, 21(12):1654-1683, 2015. [doi]
@article{SunBD15-0,
title = {A Joint Development of Coloured Petri Nets and the B Method in Critical Systems},
author = {Pengfei Sun and Philippe Bon and Simon Collart Dutilleul},
year = {2015},
url = {http://www.jucs.org/jucs_21_12/a_joint_development_of},
researchr = {https://researchr.org/publication/SunBD15-0},
cites = {0},
citedby = {0},
journal = {J. UCS},
volume = {21},
number = {12},
pages = {1654-1683},
}