Conditions in Reactive Systems and in Graph Rewriting

Reference

Barbara König. Conditions in reactive systems and in graph rewriting. In Proc. of PNGT '12 (Workshop on Petri Nets, Graph Transformation and other Concurrency Formalisms), volume 51 of Electronic Communications of the EASST, 2012.

Suggested BibTeX entry:

@inproceedings{K12,
    author = {Barbara K{\"o}nig},
    booktitle = {Proc. of PNGT '12 (Workshop on Petri Nets, Graph Transformation and other Concurrency Formalisms)},
    series = {Electronic Communications of the EASST},
    title = {Conditions in Reactive Systems and in Graph Rewriting},
    volume = {51},
    year = {2012}
}

See journal.ub.tu-berlin.de ...