@InCollection{Zakrevskij:2002,
author
=
"A.Zakrevskij and A.Karatkevich and M.Adamski",
title
=
"A method of analysis of operational Petri nets",
pages
=
"449--460",
year
=
"2002",
booktitle
=
"Advanced computer systemsEight International Conference, ACS 2001 ISBN: 079237651X",
publisher
=
"Kluwer Academic Publishers",
address
=
"Boston",
}