LEA

BibTex

@techreport{MW-2013,
  author={Mayr, Ernst W. and Weihmann, Jeremias},
  title={Results on Equivalence, Boundedness, Liveness, and Covering Problems of {BPP}-{P}etri Nets},
  number={TUM-I1325},
  institution={Institut f{\"u}r Informatik, TU M{\"u}nchen},
  month={Mar},
  year={2013}
}