P. Chariyathitipong, Wiwat Vatanawood. Dynamic Slicing of Time Petri Net Based on MTL Property. IEEE Access, 10:45207-45218, 2022. [doi]
@article{Chariyathitipong22,
title = {Dynamic Slicing of Time Petri Net Based on MTL Property},
author = {P. Chariyathitipong and Wiwat Vatanawood},
year = {2022},
doi = {10.1109/ACCESS.2022.3170094},
url = {https://doi.org/10.1109/ACCESS.2022.3170094},
researchr = {https://researchr.org/publication/Chariyathitipong22},
cites = {0},
citedby = {0},
journal = {IEEE Access},
volume = {10},
pages = {45207-45218},
}