@article{Bukowiec:2014,
  author  = "A. Bukowiec and J. Tkacz and M. Adamski",
  title   = "Transition Based Synthesis with Modular Encoding of Petri Nets into FPGAs",
  journal = "Advances in Electrical and Electronic Engineering",
  volume  = "Vol. 12",
  number  = "no 5",
  pages   = "435--442",
  year    = "2014",
}