@InCollection{KarWis:2014:Cambridge:OnStateMachineDecompPNets,
  author    = "A. Karatkevich and R. Wi\'{s}niewski",
  title     = "On state machine decomposition of Petri Nets",
  pages     = "288--301",
  year      = "2014",
  booktitle = "Recent Progress in the Boolean Domain",
  eeditor    = "ed. by B. Steinbach",
  publisher = "Cambridge Scholars Publishing",
  address   = "Newcastle upon Tyne",
  ISBN      = "978-1-4438-5638-6",
}