Morgan Magnin, Didier Lime, Olivier H. Roux. An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches. Electronic Notes in Theoretical Computer Science, 144(3):59-77, 2006. [doi]
@article{MagninLR06,
title = {An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches},
author = {Morgan Magnin and Didier Lime and Olivier H. Roux},
year = {2006},
doi = {10.1016/j.entcs.2006.01.005},
url = {http://dx.doi.org/10.1016/j.entcs.2006.01.005},
researchr = {https://researchr.org/publication/MagninLR06},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {3},
pages = {59-77},
}