activity
20112024
most citedSmall Universal Petri Nets with Inhibitor Arcs

5 citations · 11 across the 8 of their papers we have counts for

collaborators
Showing cs.FLShow all

6 papers · 1 filter

cs.FL2023

A P Systems Variant for Reasoning about Sequential Controllability of Boolean Networks

Artiom Alhazov, Vincent Ferrari-Dominguez, Rudolf Freund +2

A Boolean network is a discrete dynamical system operating on vectors of Boolean variables. The action of a Boolean network can be conveniently expressed as a system of Boolean upd…

cs.FL2022

P versus B: P Systems as a Formal Framework for Controllability of Boolean Networks

Artiom Alhazov, Rudolf Freund, Sergiu Ivanov

Membrane computing and P systems are a paradigm of massively parallel natural computing introduced by Gheorghe Păun in 1999, inspired by the structure of the living cell and by its…

cs.FL2017★ 3 cited

(Tissue) P Systems with Vesicles of Multisets

Artiom Alhazov, Rudolf Freund, Sergiu Ivanov +1

We consider tissue P systems working on vesicles of multisets with the very simple operations of insertion, deletion, and substitution of single objects. With the whole multiset be…

cs.FL2013★ 5 cited

Small Universal Petri Nets with Inhibitor Arcs

Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan

We investigate the problem of construction of small-size universal Petri nets with inhibitor arcs. We consider four descriptional complexity parameters: the number of places, trans…

cs.FL2013★ 1 cited

One-dimensional Array Grammars and P Systems with Array Insertion and Deletion Rules

Rudolf Freund, Sergiu Ivanov, Marion Oswald +1

We consider the (one-dimensional) array counterpart of contextual as well as insertion and deletion string grammars and consider the operations of array insertion and deletion in a…

cs.FL2011

Random Context and Semi-Conditional Insertion-Deletion Systems

Sergiu Ivanov, Sergey Verlan

In this article we introduce the operations of insertion and deletion working in a random-context and semi-conditional manner. We show that the conditional use of rules strictly in…