Verification of membrane systems with delays via Petri nets with delays

DOI10.1016/J.TCS.2015.03.051zbMATH Open1329.68104OpenAlexW1970387224WikidataQ57936407 ScholiaQ57936407MaRDI QIDQ496035FDOQ496035

Authors: Bogdan Aman, Gabriel Ciobanu 

Publication date: 16 September 2015

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2015.03.051

Recommendations

• scientific article; zbMATH DE number 7318976
• Description of membrane systems with time Petri nets: promoters/inhibitors, membrane dissolution, and priorities
• Local time membrane systems and time Petri nets
• Membrane Computing
• Membrane Computing

zbMATH Keywords

Petri netsdelayscoloured Petri nets software toolsmembrane systemsverification of qualitative and quantitative properties of membranes

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Membrane computing. An introduction.
• Title not available (Why is that?)
• Parallel program schemata
• Title not available (Why is that?)
• Flattening the transition P systems with dissolution
• Title not available (Why is that?)
• Membrane Computing
• Membrane Computing
• The covering and boundedness problems for vector addition systems
• A structure to decide reachability in Petri nets
• Title not available (Why is that?)
• A multiparameter analysis of the boundedness problem for vector addition systems
• An Algorithm for the General Petri Net Reachability Problem
• Timed P Automata
• Membrane Computing
• Petri nets with localities and testing
• Persistence of vector replacement systems is decidable
• Some decision problems related to the reachability problem for Petri nets
• Frequency membrane systems
• Title not available (Why is that?)
• FURTHER RESULTS ON TIME-FREE P SYSTEMS
• EXTENDED SPIKING NEURAL P SYSTEMS WITH DECAYING SPIKES AND/OR TOTAL SPIKING
• Counting Time in Computing with Cells
• On Structures and Behaviors of Spiking Neural P Systems and Petri Nets
• Title not available (Why is that?)
• Bio-PEPAd: a non-Markovian extension of Bio-PEPA

Cited In (7)

• Modelling and verification of weighted spiking neural systems
• Local time membrane systems and time Petri nets
• Formal verification of cP systems using PAT3 and ProB
• A Petri net model for membrane systems with dynamic structure
• Title not available (Why is that?)
• Membrane Computing
• A Petri net view of covalent bonds

Uses Software

• Bio-PEPA
• Bio-PEPAd

This page was built for publication: Verification of membrane systems with delays via Petri nets with delays

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q496035)