Peter Buchholz, Peter Kemper. Hierarchical Reachability Graph Generation for Petri Nets. Formal Methods in System Design, 21(3):281-315, 2002.
@article{BuchholzK02,
title = {Hierarchical Reachability Graph Generation for Petri Nets},
author = {Peter Buchholz and Peter Kemper},
year = {2002},
tags = {graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/BuchholzK02},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {21},
number = {3},
pages = {281-315},
}