Rule-based and object-based event structures for membrane systems

被引:3
作者
Agrigoroaiei, Oana
Ciobanu, Gabriel [1 ]
机构
[1] Romanian Acad, Inst Comp Sci, Iasi 700505, Romania
来源
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING | 2010年 / 79卷 / 06期
关键词
Membrane computing; Event structures; Operational semantics; CONCURRENCY; SEMANTICS; CAUSALITY;
D O I
10.1016/j.jlap.2010.03.010
中图分类号
TB3 [工程材料学];
学科分类号
0805 ; 080502 ;
摘要
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. (C) 2010 Published by Elsevier Inc.
引用
收藏
页码:295 / 303
页数:9
相关论文
共 9 条
[1]  
[Anonymous], 2002, Membrane Computing. An Introduction
[2]  
Busi N, 2007, LECT NOTES COMPUT SC, V4860, P160
[3]  
Ciobanu G., 2006, Applications of membrane computing
[4]  
Ciobanu G, 2007, LECT NOTES COMPUT SC, V4860, P209
[5]  
de Bakker J.W., 1989, LECT NOTES COMPUT SC, V354, P365
[6]  
Freund R, 2007, LECT NOTES COMPUT SC, V4860, P271
[7]  
Kleijn JHCM, 2006, LECT NOTES COMPUT SC, V3850, P292
[8]  
Pinna GM, 2008, SCI ANN COMPUT SCI, V18, P99
[9]  
Sassone V, 1996, THEOR COMPUT SCI, V170, P297