@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 systems : Eight International Conference, ACS 2001, ISBN: 079237651X",
  publisher = "Kluwer Academic Publishers",
  address   = "Boston",
}