کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10328945 685235 2005 24 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs
چکیده انگلیسی
It belongs to the folklore that graph grammars can be seen as a proper generalisation of Petri nets. In this paper we show how this intuitive relationship can be made formal. The double-pushout approach to graph rewriting turns out to be strictly related to Petri nets with read and inhibitor arcs, while the single-pushout approach has strong connections to Petri nets with read and reset arcs.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 127, Issue 2, 31 March 2005, Pages 5-28
نویسندگان
, , ,