| Year | 2006 |
|---|---|
| Type | Conference |
| Status | Proceedings |
| Authors | Oana Andrei, Gabriel Ciobanu, Dorel Lucanu |
Links
Abstract
The paper formally describes an operational semantics of P systems. We present an abstract syntax of P systems, then the notion of configurations, and we define the sets of inference rules corresponding to the three stages of an evolution step: maximal parallel rewriting, parallel communication, and parallel dissolving. Several results assuring the correctness of each set of inference rules are also presented. Finally, we define simulation and bisimulation relations between P systems.
BibTeX
@INPROCEEDINGS{wmc05,
author = {O. Andrei and G. Ciobanu and D. Lucanu},
title = {Structural Operational Semantics of P Systems },
booktitle = {Membrane Computing: 6th International Workshop, WMC 2005, Revised
Selected and Invited Papers},
year = {2006},
series = {Lecture Notes in Computer Science},
editor = {R. Freund and Gh. Paun and G. Rozenberg and A. Salomaa},
volume = {3850},
pages = {31 - 48},
publisher = {Springer},
url = {http://www.informatik.uni-trier.de/~ley/db/conf/membrane/membrane2005.html [WMC]},
url_publisher = {http://www.springerlink.com/content/7293578702qv0755/}
}