Local Time Membrane Systems and Time Petri Nets

Aman, Bogdan and Battyányi, Péter and Ciobanu, Gabriel and Vaszil, György (2020) Local Time Membrane Systems and Time Petri Nets. THEORETICAL COMPUTER SCIENCE, 805. pp. 175-192. ISSN 0304-3975

Text revisedTimePetrifinal.pdf - Accepted Version Restricted to Registered users only Download (433kB)

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.

Actions (login required)

Edit Item