کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
431325 1441267 2010 9 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Rule-based and object-based event structures for membrane systems
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Rule-based and object-based event structures for membrane systems
چکیده انگلیسی

We introduce two event structures for basic membrane systems with one membrane. In the rule-based structure an event is given by a single rule application, while in the object-based structure an event is given by the occurrence of a type of resource (in a certain quantity). Both event structures are introduced without the use of fresh names to distinguish between similar events. We discuss causality by using the order relation on the object-based event structure as well as a dependence relation on the rules of the membrane system.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: The Journal of Logic and Algebraic Programming - Volume 79, Issue 6, August 2010, Pages 295-303