@article{Karatkevich:2020,
author
=
"A.Karatkevich and R.Wiśniewski",
title
=
"A Polynomial-Time Algorithm to Obtain State Machine Cover of Live and Safe Petri Nets",
journal
=
"IEEE Transactions on Systems, Man, and Cybernetics: Systems",
volume
=
"Vol. 50",
number
=
"iss. 10",
pages
=
"3592--3597",
year
=
"2020",
}