REAL

Local Time Membrane Systems and Time Petri Nets

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

[img] 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.

Item Type: Article
Subjects: Q Science / természettudomány > QA Mathematics / matematika > QA76 Computer software / programozás
Depositing User: György Vaszil
Date Deposited: 26 Sep 2018 14:03
Last Modified: 26 Sep 2018 14:03
URI: http://real.mtak.hu/id/eprint/85459

Actions (login required)

Edit Item Edit Item