Petri Nets and Matrix Graph Grammars: Reachability

Juan de Lara, Pedro Pablo Perez Velasco

Abstract


This paper attempts to contribute in two directions. First, concepts and results of our Matrix Graph Grammars approach [VL06b, VL06a] such as coherence and minimal initial digraph are applied to Petri nets, especially to reachability criteria and to the state equation. Second, the state equation and related Petri nets techniques for reachability are generalized to cover a wider class of graph grammars.

Full Text:

PDF


DOI: http://dx.doi.org/10.14279/tuj.eceasst.2.60

DOI (PDF): http://dx.doi.org/10.14279/tuj.eceasst.2.60.32

Hosted By Universit├Ątsbibliothek TU Berlin.