Vörös, András. “Symbolic Verification of Petri Net Based Models.” PhD thesis, Budapest University of Technology and Economics, 2018.

@phdthesis{voros-andras-phd,
  author = {V\"or\"os, Andr\'as},
  title = {Symbolic Verification of {P}etri Net Based Models},
  school = {Budapest University of Technology and Economics},
  year = {2018},
  type = {PhD thesis}
}