Sign in
Author

Conference

Journal

Organization

Year

DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(1)
P System
Related Publications
(2)
(Tissue) P Systems Working in the kRestricted Minimally Parallel Derivation Mode
Networks of Cells and Petri Nets
Subscribe
Academic
Publications
A Formal Framework for P Systems
A Formal Framework for P Systems,Rudolf Freund,Sergey Verlan
Edit
A Formal Framework for P Systems
(
Citations: 6
)
BibTex

RIS

RefWorks
Download
Rudolf Freund
,
Sergey Verlan
Cumulative
Annual
Citation Context
(6)
...Continuing the formal approach started in
Freund and Verlan (2007)
, a variant of the minimally parallel transition mode was considered in Freund and Verlan (2008), where we considered a partitioning of the whole set of rules and allowed only multisets of rules to be applied in parallel which could not be extended by adding a rule from a partition from which no rule had already been taken into this multiset of rules...
...In this section we consider membrane systems as a collection of interacting cells containing multisets of objects like in Bernardini et al. (2007) and
Freund and Verlan (2007)
...
...The set of all multisets of rules applicable to C is denoted by Appl P; C ðÞ ; a procedural algorithm how to obtain Appl P; C ðÞ was described in
Freund and Verlan (2007)
...
...Moreover, the basic krestricted minimally and krestricted maximally parallel transition mode may be restricted as exhibited for the other transition modes as shown in
Freund and Verlan (2007)
, eventually with other variants of halting, e.g., see Freund (2009) as well as Freund and Kogler (2009)...
Rudolf Freund
,
et al.
(Tissue) P systems working in the k restricted minimally or maximally...
...In [
12
], a formal framework for (tissue) P systems capturing the formal features of these transition modes was developed, based on a general model of membrane systems as a collection of interacting cells containing multisets of objects (compare with the models of networks of cells as discussed in [5] and networks of language processors as considered in [7])...
...Continuing the formal approach started in [
12
], the kbounded minimally parallel transition mode (see [13]) was introduced, where at most k rules can be taken from each of the sets covering the whole set of rules into a multiset of rules used in the minimally parallel transition mode...
...The main parts of notions, definitions, and results presented in the following are taken from [
12
] and [13] as well as from [3] and [10]...
...In this section we consider membrane systems as a collection of interacting cells containing multisets of objects like in [5] and [
12
]...
...The set of all multisets of rules applicable to C is denoted by Appl (Π, C )( a procedural algorithm how to obtain Appl (Π, C) is described in [
12
])...
...In [
12
], further restricting conditions on the four basic modes defined above, especially interesting for the minimally parallel transition mode, were considered...
Rudolf Freund
.
Transition and Halting Modes in (Tissue) P Systems
...In [
9
], a formal framework for (tissue) P systems capturing the formal features of these transition modes was developed, based on a general model of membrane systems as a collection of interacting cells containing multisets of objects (compare with the models of networks of cells as discussed in [1] and networks of language processors as considered in [4])...
...In this section we consider membrane systems as a collection of interacting cells containing multisets of objects like in [1] and [
9
]...
...The set of all multisets of rules applicable to C is denoted by Appl (Π, C )( a procedural algorithm how to obtain Appl (Π, C) is described in [
9
])...
Rudolf Freund
,
et al.
(Tissue) P Systems with Hybrid Transition Modes
... rules in parallel was introduced, the socalled minimal parallelism [5]: in each computation step, the chosen multiset of rules to be applied in parallel cannot be extended by any rule out of a set of rules from which no rule has been chosen so far for this multiset of rules in such a way that the resulting extended multiset still could be applied (this is not the only way to interpret the idea of minimal parallelism, e.g., see [
6
] for ...
Rudolf Freund
,
et al.
Polarizationless P Systems with Active Membranes Working in the Minima...
...In [
9
], a formal framework for (tissue) P systems capturing the formal features of these transition modes was developed, based on a general model of membrane systems as a collection of interacting cells containing multisets of objects (compare with the models of networks of cells as discussed in [1] and networks of language processors as considered in [4])...
...In this section we consider membrane systems as a collection of interacting cells containing multisets of objects like in [1] and [
9
]...
...The set of all multisets of rules applicable to C is denoted by Appl (;C ) (a procedural algorithm how to obtain Appl (;C ) is described in [
9
])...
Rudolf Freund
,
et al.
Hybrid Transition Modes in (Tissue) P Systems
References
(5)
A rewriting logic framework for operational semantics of membrane systems
(
Citations: 26
)
Oana Andrei
,
Gabriel Ciobanu
,
Dorel Lucanu
Journal:
Theoretical Computer Science  TCS
, vol. 373, no. 3, pp. 163181, 2007
Partial Versus Total Halting in P Systems
(
Citations: 8
)
Artiom Alhazov
,
Rudolf Freund
,
Marion Oswald
,
Sergey Verlan
Journal:
Journal of Multivariate Analysis  MA
Structural Operational Semantics of P Systems
(
Citations: 23
)
Oana Andrei
,
Gabriel Ciobanu
,
Dorel Lucanu
Conference:
Workshop on Membrane Computing
, pp. 3148, 2005
Towards a Petri Net Semantics for Membrane Systems
(
Citations: 29
)
Jetty Kleijn
,
Maciej Koutny
,
Grzegorz Rozenberg
Conference:
Workshop on Membrane Computing
, pp. 292309, 2005
Computational Power of Symport/Antiport: History, Advances, and Open Problems
(
Citations: 22
)
Artiom Alhazov
,
Rudolf Freund
,
Yurii Rogozhin
Conference:
Workshop on Membrane Computing
, pp. 130, 2005
Sort by:
Citations
(6)
(Tissue) P systems working in the k restricted minimally or maximally parallel transition mode
Rudolf Freund
,
Sergey Verlan
Journal:
Natural Computing  NC
, vol. 10, no. 2, pp. 821833, 2011
Transition and Halting Modes in (Tissue) P Systems
(
Citations: 1
)
Rudolf Freund
Conference:
Workshop on Membrane Computing
, pp. 1829, 2009
(Tissue) P Systems with Hybrid Transition Modes
Rudolf Freund
,
Marian Kogler
Conference:
Workshop on Membrane Computing
, pp. 252263, 2009
Polarizationless P Systems with Active Membranes Working in the Minimally Parallel Mode
Rudolf Freund
,
Gheorghe Paun
,
Mario J. Pérezjiménez
Conference:
Unconventional Computing  UC
, pp. 6276, 2007
Hybrid Transition Modes in (Tissue) P Systems
(
Citations: 1
)
Rudolf Freund
,
Marian Kogler