A collective interpretation semantics for reversing Petri nets (Q2672648): Difference between revisions

@@ Property / describes a project that uses @@
+BioNetGen
@@ Property / describes a project that uses: BioNetGen / 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 @@
+BIOCHAM
@@ Property / describes a project that uses: BIOCHAM / 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.2022.05.016
+Normal rank
@@ Property / OpenAlex ID @@
+W4281395835
@@ Property / OpenAlex ID: W4281395835 / rank @@
+Normal rank
@@ Property / cites work @@
+BioMaxP: a formal approach for cellular ion pumps
@@ Property / cites work: BioMaxP: a formal approach for cellular ion pumps / rank @@
+Normal rank
@@ Property / cites work @@
+On the Statistical Thermodynamics of Reversible Communicating Processes
+Normal rank
@@ Property / cites work @@
+Membrane Computing
@@ Property / cites work: Membrane Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Bio-PEPA: A framework for the modelling and analysis of biological systems
+Normal rank
@@ Property / cites work @@
+Rule-Based Modelling of Cellular Signalling
@@ Property / cites work: Rule-Based Modelling of Cellular Signalling / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Encoding reversing Petri nets in answer set programming
+Normal rank
@@ Property / cites work @@
+A Calculus for Local Reversibility
@@ Property / cites work: A Calculus for Local Reversibility / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Flexible Reversibility
@@ Property / cites work: Concurrent Flexible Reversibility / rank @@
+Normal rank
@@ Property / cites work @@
+Controlling Reversibility in Higher-Order Pi
@@ Property / cites work: Controlling Reversibility in Higher-Order Pi / rank @@
+Normal rank
@@ Property / cites work @@
+Controlled Reversibility and Compensations
@@ Property / cites work: Controlled Reversibility and Compensations / rank @@
+Normal rank
@@ Property / cites work @@
+Reversibility in the higher-order \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+An axiomatic approach to reversible computation
@@ Property / cites work: An axiomatic approach to reversible computation / rank @@
+Normal rank
@@ Property / cites work @@
+A note on transition systems
@@ Property / cites work: A note on transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5129948
@@ Property / cites work: Q5129948 / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible computation in Petri nets
@@ Property / cites work: Reversible computation in Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible computation in nets with bonds
@@ Property / cites work: Reversible computation in nets with bonds / rank @@
+Normal rank
@@ Property / cites work @@
+Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications
+Normal rank
@@ Property / cites work @@
+Reversing algebraic process calculi
@@ Property / cites work: Reversing algebraic process calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Reversibility and asymmetric conflict in event structures
+Normal rank
@@ Property / cites work @@
+A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
+Normal rank
@@ Property / cites work @@
+Modelling of Bonding with Processes and Events
@@ Property / cites work: Modelling of Bonding with Processes and Events / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Methods in Systems Biology
@@ Property / cites work: Computational Methods in Systems Biology / rank @@
+Normal rank
@@ Property / cites work @@
+BioAmbients: an abstraction for biological compartments
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2672648