@incollection{Kostin08,
author = {Alexander Kostin},
title = {Using Transition Invariants for Reachability Analysis of Petri Nets},
booktitle = {Petri Net},
publisher = {IntechOpen},
address = {Rijeka},
year = {2008},
editor = {Vedran Kordic},
chapter = {19},
doi = {10.5772/5328},
url = {https://doi.org/10.5772/5328}
}