Verification of membrane systems with delays via Petri nets with delays

DOI10.1016/j.tcs.2015.03.051zbMath1329.68104OpenAlexW1970387224WikidataQ57936407 ScholiaQ57936407MaRDI QIDQ496035

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)

Related Items

Modelling and verification of weighted spiking neural systems, Formal verification of cP systems using PAT3 and ProB, Local time membrane systems and time Petri nets, A Petri net view of covalent bonds

Uses Software

• Bio-PEPA
• Bio-PEPAd

Cites Work

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