LEA

BibTex

@inproceedings{MW-2013,
  author={Mayr, Ernst W. and Weihmann, Jeremias},
  title={Results on Equivalence, Boundedness, Liveness, and Covering Problems of {BPP}-Petri Nets},
  booktitle={Proceedings of the 34th Int. Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2013)},
  series={LNCS},
  volume={7927},
  year={2013},
  month={Jun},
  publisher={Springer-Verlag},
  pages={70-89}
}