Verification of membrane systems with delays via Petri nets with delays
type: Item
instance of: scholarly article
title: Verification of membrane systems with delays via Petri nets with delays
zbMATH Open document ID: 1329.68104
author: Bogdan Aman
author: Gabriel Ciobanu
published in: Theoretical Computer Science
publication date: 2015-09-16T00:00:00Z
Mathematics Subject Classification ID: 68Q05
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 6482902
zbMATH Keywords: membrane systems
zbMATH Keywords: Petri nets
zbMATH Keywords: delays
zbMATH Keywords: verification of qualitative and quantitative properties of membranes
zbMATH Keywords: coloured Petri nets software tools
describes a project that uses: Bio-PEPA
describes a project that uses: Bio-PEPAd
MaRDI profile type: Publication
full work available at URL: j.tcs.2015.03.051
OpenAlex ID: W1970387224
Wikidata QID: Q57936407
cites work: Flattening the Transition P Systems with Dissolution
cites work: Q4965810
cites work: Some decision problems related to the reachability problem for Petri nets
cites work: Timed P Automata
cites work: On Structures and Behaviors of Spiking Neural P Systems and Petri Nets
cites work: Bio-PEPAd: a non-Markovian extension of Bio-PEPA
cites work: FURTHER RESULTS ON TIME-FREE P SYSTEMS
cites work: Q3022286
cites work: Membrane Computing
cites work: Q4289279
cites work: EXTENDED SPIKING NEURAL P SYSTEMS WITH DECAYING SPIKES AND/OR TOTAL SPIKING
cites work: Counting Time in Computing with Cells
cites work: Q4348471
cites work: Parallel program schemata
cites work: Petri Nets with Localities and Testing
cites work: A structure to decide reachability in Petri nets
cites work: Persistence of vector replacement systems is decidable
cites work: An Algorithm for the General Petri Net Reachability Problem
cites work: Q2969109
cites work: Membrane computing. An introduction.
cites work: Q3406469
cites work: Q3911403
cites work: The covering and boundedness problems for vector addition systems
cites work: A multiparameter analysis of the boundedness problem for vector addition systems
DOI: 10.1016/J.TCS.2015.03.051
description: scientific article; zbMATH DE number 6482902