Alex Kondratyev, Michael Kishinevsky, Alexander Taubin, Sergei Ten. Analysis of Petri Nets by Ordering Relations in Reduced Unfoldings. Formal Methods in System Design, 12(1):5-38, 1998.
@article{KondratyevKTT98,
title = {Analysis of Petri Nets by Ordering Relations in Reduced Unfoldings},
author = {Alex Kondratyev and Michael Kishinevsky and Alexander Taubin and Sergei Ten},
year = {1998},
tags = {analysis},
researchr = {https://researchr.org/publication/KondratyevKTT98},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {12},
number = {1},
pages = {5-38},
}