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]
@inproceedings{StehrMO01,
title = {Rewriting Logic as a Unifying Framework for Petri Nets},
author = {Mark-Oliver Stehr and José Meseguer and Peter Csaba Ölveczky},
year = {2001},
url = {http://link.springer.de/link/service/series/0558/bibs/2128/21280250.htm},
tags = {graph-rewriting, logic, rewriting logic, rewriting},
researchr = {https://researchr.org/publication/StehrMO01},
cites = {0},
citedby = {0},
pages = {250-303},
booktitle = {Unifying Petri Nets, Advances in Petri Nets},
editor = {Hartmut Ehrig and Gabriel Juhás and Julia Padberg and Grzegorz Rozenberg},
volume = {2128},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-43067-9},
}