Now showing items 1-2 of 2
Membrane Systems and Time Petri Nets
(Fenix Editora, 2017)
We investigate the relationship of time Petri nets and di erent variants of membrane systems. First we show that the added feature of \time" in time Petri nets makes it possible to simulate the maximal parallel rule ...
Simulating Membrane Systems and Dissolution in a Typed Chemical Calculus
(Fénix Editora, 2015)
We present a transformation of membrane systems, possibly with pro- moter/inhibitor rules, priority relations, and membrane dissolution, into formulas of the chemical calculus such that terminating computations of membranes ...