LEA

BibTex

@inproceedings{MW-2013,
  author={Mayr, Ernst W. and Weihmann, Jeremias},
  title={Completeness Results for Generalized Communication-Free {P}etri Nets with Arbitrary Edge Multiplicities},
  booktitle={Proceedings of the 7th Int. Workshop on Reachability Problems (RP'13)},
  series={LNCS},
  volume={8169},
  year={2013},
  month={Sep},
  publisher={Springer-Verlag},
  pages={209-221}
}