Verification of membrane systems with delays via Petri nets with delays (Q496035): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q05
@@ Property / Mathematics Subject Classification ID: 68Q05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6482902
@@ Property / zbMATH DE Number: 6482902 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+membrane systems
@@ Property / zbMATH Keywords: membrane systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Petri nets
@@ Property / zbMATH Keywords: Petri nets / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+delays
@@ Property / zbMATH Keywords: delays / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+verification of qualitative and quantitative properties of membranes
+Normal rank
@@ Property / zbMATH Keywords @@
+coloured Petri nets software tools
@@ Property / zbMATH Keywords: coloured Petri nets software tools / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Bio-PEPA
@@ Property / describes a project that uses: Bio-PEPA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Bio-PEPAd
@@ Property / describes a project that uses: Bio-PEPAd / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2015.03.051
+Normal rank
@@ Property / OpenAlex ID @@
+W1970387224
@@ Property / OpenAlex ID: W1970387224 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57936407
@@ Property / Wikidata QID: Q57936407 / rank @@
+Normal rank
@@ Property / cites work @@
+Flattening the Transition P Systems with Dissolution
+Normal rank
@@ Property / cites work @@
+Q4965810
@@ Property / cites work: Q4965810 / rank @@
+Normal rank
@@ Property / cites work @@
+Some decision problems related to the reachability problem for Petri nets
+Normal rank
@@ Property / cites work @@
+Timed P Automata
@@ Property / cites work: Timed P Automata / rank @@
+Normal rank
@@ Property / cites work @@
+On Structures and Behaviors of Spiking Neural P Systems and Petri Nets
+Normal rank
@@ Property / cites work @@
+Bio-PEPAd: a non-Markovian extension of Bio-PEPA
@@ Property / cites work: Bio-PEPAd: a non-Markovian extension of Bio-PEPA / rank @@
+Normal rank
@@ Property / cites work @@
+FURTHER RESULTS ON TIME-FREE P SYSTEMS
@@ Property / cites work: FURTHER RESULTS ON TIME-FREE P SYSTEMS / rank @@
+Normal rank
@@ Property / cites work @@
+Q3022286
@@ Property / cites work: Q3022286 / rank @@
+Normal rank
@@ Property / cites work @@
+Membrane Computing
@@ Property / cites work: Membrane Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4289279
@@ Property / cites work: Q4289279 / rank @@
+Normal rank
@@ Property / cites work @@
+EXTENDED SPIKING NEURAL P SYSTEMS WITH DECAYING SPIKES AND/OR TOTAL SPIKING
+Normal rank
@@ Property / cites work @@
+Counting Time in Computing with Cells
@@ Property / cites work: Counting Time in Computing with Cells / rank @@
+Normal rank
@@ Property / cites work @@
+Q4348471
@@ Property / cites work: Q4348471 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel program schemata
@@ Property / cites work: Parallel program schemata / rank @@
+Normal rank
@@ Property / cites work @@
+Petri Nets with Localities and Testing
@@ Property / cites work: Petri Nets with Localities and Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Membrane Computing
@@ Property / cites work: Membrane Computing / rank @@
+Normal rank
@@ Property / cites work @@
+A structure to decide reachability in Petri nets
@@ Property / cites work: A structure to decide reachability in Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Persistence of vector replacement systems is decidable
+Normal rank
@@ Property / cites work @@
+An Algorithm for the General Petri Net Reachability Problem
+Normal rank
@@ Property / cites work @@
+Q2969109
@@ Property / cites work: Q2969109 / rank @@
+Normal rank
@@ Property / cites work @@
+Membrane computing. An introduction.
@@ Property / cites work: Membrane computing. An introduction. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3406469
@@ Property / cites work: Q3406469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3911403
@@ Property / cites work: Q3911403 / rank @@
+Normal rank
@@ Property / cites work @@
+The covering and boundedness problems for vector addition systems
+Normal rank
@@ Property / cites work @@
+A multiparameter analysis of the boundedness problem for vector addition systems
+Normal rank
@@ Property / cites work @@
+Membrane Computing
@@ Property / cites work: Membrane Computing / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:496035