文章基本信息

标题：Petri Nets and Matrix Graph Grammars: Reachability
本地全文：下载
作者：Juan de Lara ; Pedro Pablo Perez Velasco
期刊名称：Electronic Communications of the EASST
电子版ISSN：1863-2122
出版年度：2006
卷号：2
语种：English
出版社：European Association of Software Science and Technology (EASST)
摘要：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.