@InProceedings{SMOpetrinets_2001,
  author = 	 {Mark-Oliver Stehr, Jos{\'e} Meseguer, and Peter C. {\"O}lveczky},
  title = 	 {Rewriting Logic as a Unifying Framework for {P}etri Nets},
  booktitle = 	 {Unifying Petri Nets (Advances in Petri Nets)},
  pages = 	 {?--?},
  year = 	 {2001},
  editor = 	 {?},
  volume = 	 {?},
  series = 	 {Lecture Notes in Computer Science},
  publisher =    {Springer-Verlag},
  note = 	 {to appear},
}