Nazakat Ali, Sasikumar Punnekkat, Abdul Rauf. Modeling and safety analysis for collaborative safety-critical systems using hierarchical colored Petri nets. Journal of Systems and Software, 210:111958, April 2024. [doi]
@article{AliPR24,
title = {Modeling and safety analysis for collaborative safety-critical systems using hierarchical colored Petri nets},
author = {Nazakat Ali and Sasikumar Punnekkat and Abdul Rauf},
year = {2024},
month = {April},
doi = {10.1016/j.jss.2024.111958},
url = {https://doi.org/10.1016/j.jss.2024.111958},
researchr = {https://researchr.org/publication/AliPR24},
cites = {0},
citedby = {0},
journal = {Journal of Systems and Software},
volume = {210},
pages = {111958},
}