Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky. Rewriting Logic as a Unifying Framework for Petri Nets. In Hartmut Ehrig, Gabriel Juhás, Julia Padberg, Grzegorz Rozenberg, editors, Unifying Petri Nets, Advances in Petri Nets. Volume 2128 of Lecture Notes in Computer Science, pages 250-303, Springer, 2001. [doi]
Abstract is missing.