@article{Grobelna:2017,
author
=
"I.Grobelna and R.Wiśniewski and M.Grobelny and M.Wiśniewska",
title
=
"Design and verification of real-life processes with application of Petri nets",
journal
=
"IEEE Transactions on Systems, Man, and Cybernetics: Systems",
volume
=
"Vol. 47",
number
=
"iss. 11",
pages
=
"2856--2869",
year
=
"2017",
}