Verification of membrane systems with delays via Petri nets with delays

DOI10.1016/J.TCS.2015.03.051MaRDI QIDQ496035zbMATH OpenOpenAlexWikidataFDO

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

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)

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

Cites work

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

Cited in

(7)

• Local time membrane systems and time Petri nets
• Membrane Computing
• A Petri net view of covalent bonds
• Formal verification of cP systems using PAT3 and ProB
• Modelling and verification of weighted spiking neural systems
• A Petri net model for membrane systems with dynamic structure
• scientific article; zbMATH DE number 7318976 (Why is no real title available?)

Describes a project that uses

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)