Elsevier

Theoretical Computer Science

Volume 805, 18 January 2020, Pages 175-192
Theoretical Computer Science

Local time membrane systems and time Petri nets

https://doi.org/10.1016/j.tcs.2018.06.013Get rights and content
Under an Elsevier user license
open archive

Abstract

We investigate the relationship between time Petri nets and various variants of membrane systems. We first show that adding the feature of “time” to Petri nets makes possible the simulation of the maximal parallel mode of rule application from membrane systems without introducing maximal parallelism to the Petri net semantics. Then we define local time membrane systems inspired by time Petri nets, together with two types of semantics; both kinds of local time membrane systems can be simulated by time Petri nets with the strong semantics. Finally we present the connections between catalytic Petri nets and catalytic membrane systems.

Keywords

Membranes
Petri nets
Time Petri nets
Time membrane systems

Cited by (0)