@InProceedings{Wiśniewski:2018,
author
=
"R.Wiśniewski and M.Wojnakowski and Ł.Stefanowicz",
title
=
"Safety Analysis of Petri Nets Based on the SM-Cover Computed with the Linear Algebra Technique",
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",
}