Local time membrane systems and time Petri nets

DOI10.1016/J.TCS.2018.06.013MaRDI QIDQ2285668zbMATH OpenOpenAlexWikidataFDO

Authors Bogdan Aman, Péter Battyányi, Gabriel Ciobanu, György Vaszil

Publication date 8 January 2020

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

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

zbMATH Keywords

Petri netsmembranestime Petri netstime membrane systems

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)

Recommendations

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

Cites work

• scientific article; zbMATH DE number 2182419 (Why is no real title available?)
• scientific article; zbMATH DE number 4209631 (Why is no real title available?)
• scientific article; zbMATH DE number 5671765 (Why is no real title available?)
• scientific article; zbMATH DE number 5506896 (Why is no real title available?)
• Catalytic and communicating Petri nets are Turing complete
• Membrane Computing
• Membrane Computing
• Membrane computing. An introduction.
• Parallel program schemata
• Persistence of vector replacement systems is decidable
• Spiking neural P systems
• Time and Petri nets
• Tissue P systems.
• Verification of membrane systems with delays via Petri nets with delays

Cited in

(5)

• Description of membrane systems with time Petri nets: promoters/inhibitors, membrane dissolution, and priorities
• Verification of membrane systems with delays via Petri nets with delays
• scientific article; zbMATH DE number 7318976 (Why is no real title available?)
• A Petri net view of covalent bonds
• Petri nets with localities and testing

This page was built for publication: Local time membrane systems and time Petri nets

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