Graph transformation systems, Petri nets and semilinear sets: ...
Reference
Barbara König. Graph transformation systems, Petri nets and semilinear sets: Checking for the absence of forbidden paths in graphs. In Proc. of PNGT '06 (Workshop on Petri Nets and Graph Transformation), volume 2 of Electronic Communications of the EASST, 2007.
Suggested BibTeX entry:
@inproceedings{K06,
author = {Barbara K{\"o}nig},
booktitle = {Proc. of PNGT '06 (Workshop on Petri Nets and Graph Transformation)},
series = {Electronic Communications of the EASST},
title = {Graph transformation systems, {P}etri nets and semilinear sets: Checking for the absence of forbidden paths in graphs},
volume = {2},
year = {2007}
}
