=Paper=
{{Paper
|id=Vol-3792/invited4
|storemode=property
|title=Describing Computations of Membrane Systems with Petri Nets (invited paper)
|pdfUrl=https://ceur-ws.org/Vol-3792/invited4.pdf
|volume=Vol-3792
|authors=György Vaszil
|dblpUrl=https://dblp.org/rec/conf/itat/Vaszil24
}}
==Describing Computations of Membrane Systems with Petri Nets (invited paper)==
https://ceur-ws.org/Vol-3792/invited4.pdf
Describing Computations of Membrane Systems with
Petri Nets
György Vaszil
Faclty of Informatics, University of Debrecen, Kassai út 26, 4028 Debrecen, Hungary
Abstract might motivate the examination of membrane systems
from the point of view of the concurrent nature of their
Membrane systems [5] are biologically inspired models of behavior, and also inspire the study of Petri net variants
computation: their operation attempts to imitate the func- suitable for the modeling of membrane system computa-
tioning of living cells. The computation in a membrane tions, [1, 2]
system proceeds in distinct regions called membranes or
compartments. The compartments allow computation
with multisets: they accomplish transformations of their References
contained multisets by various evolution rules. In the
original symbol object model, the compartments are or- [1] Bogdan Aman, Péter Battyányi, Gabriel Ciobanu,
ganized in a tree like structure and the rules account for György Vaszil: Local time membrane systems and
the computational processes in the compartments in a time Petri nets. Theoretical Computer Science 805:
parallel and distributed manner. Multisets of objects on 175-192 (2020)
the left hand sides of rules are transformed to multisets [2] Péter Battyányi, György Vaszil: Description of
on the right hand sides and these might also be placed membrane systems with time Petri nets: Promot-
to other regions of the system before the next computa- ers/inhibitors, membrane dissolution, and priori-
tional step begins. The computation proceeds until no ties. Journal of Membrane Computing 2(4): 341-354
more rule can further be applied in any of the regions, (2020)
and the result is usually given by the objects of one or [3] Jetty Kleijn, Maciej Koutny: Petri Nets and Mem-
more designated output regions. In short, membrane sys- brane Computing. In G. Păun, G. Rozenberg, A. Sa-
tems consume, produce, and move objects around in the lomaa (editors) The Oxford Handbook of Membrane
regions of their membrane structure. Computing Chapter 15, Oxford University Press,
The functioning membrane systems, described above, 2010: 389-412
might remind us of the behavior of place transition Petri [4] Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg:
nets, since Petri net transitions also consume tokens from Towards a Petri Net Semantics for Membrane Sys-
their input places and produce new tokens at their out- tems. Workshop on Membrane Computing 2005: 292-
put places. If we establish a correspondence between 309
token distributions on the places of the net (markings) [5] Gheorghe Păun: Computing with Membranes. Jour-
and object distributions in the different regions of the P nal of Computer and System Sciences 61(1): 108-143
system (configurations), see [4], then the transitions of (2000)
place/transition nets can naturally be described by mul-
tiset transformations in the membrane system. This is
also true the other way around, the functioning of the
membrane system based on the different kinds of objects
and object evolution rules in different compartments can
be described by the evolution of Petri net configurations
(markings). See the handbook chapter [3] for more infor-
mation.
In the presentation we look at these structural links
between the two models in more detail. This approach
ITAT WNC 2024: 24th Conference Information technologies - Applica-
tions and Theory, Workshop on Natural Computing
" vaszil.gyorgy@inf.unideb.hu (G. Vaszil)
0000-0003-1213-8616 (G. Vaszil)
© 2024 Copyright for this paper by its authors. Use permitted under Creative Commons License
Attribution 4.0 International (CC BY 4.0).
CEUR
Workshop
Proceedings
http://ceur-ws.org
ISSN 1613-0073
CEUR Workshop Proceedings (CEUR-WS.org)
CEUR
ceur-ws.org
Workshop ISSN 1613-0073
Proceedings