Xuandong Li, Johan Lilius. Efficient verification of a class of time Petri nets using linear programming. Inf. Process. Lett., 77(5-6):219-224, 2001. [doi]
@article{LiL01:9,
title = {Efficient verification of a class of time Petri nets using linear programming},
author = {Xuandong Li and Johan Lilius},
year = {2001},
doi = {10.1016/S0020-0190(00)00156-3},
url = {http://dx.doi.org/10.1016/S0020-0190(00)00156-3},
tags = {program verification, programming},
researchr = {https://researchr.org/publication/LiL01%3A9},
cites = {0},
citedby = {0},
journal = {Inf. Process. Lett.},
volume = {77},
number = {5-6},
pages = {219-224},
}