@InProceedings{Stefanowicz:2018,
author
=
"Ł.Stefanowicz and R.Wiśniewski and A.Karatkevich",
title
=
"Selection of state machine components for a Petri net based on the computation of an exact transversal",
booktitle
=
"International Conference of Computational Methods in Sciences and Engineering - ICCMSE 2018",
address
=
"Thessaloniki, Grecja",
publisher
=
"New York AIP Publishing ",
volume
=
"AIP Conference Proceedings, Vol. 2040",
pages
=
"1--5",
year
=
"2018",
}