Equilibrium and termination II: the case of Petri nets (Q4917190): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Markov Chains
@@ Property / cites work: Markov Chains / rank @@
+Normal rank
@@ Property / cites work @@
+Q4931752
@@ Property / cites work: Q4931752 / rank @@
+Normal rank
@@ Property / cites work @@
+Rule-Based Modelling, Symmetries, Refinements
@@ Property / cites work: Rule-Based Modelling, Symmetries, Refinements / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes.
+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 @@
+Differential equation approximations for Markov chains
+Normal rank
@@ Property / cites work @@
+Formal molecular biology
@@ Property / cites work: Formal molecular biology / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Interpretation of Cellular Signalling Networks
+Normal rank
@@ Property / cites work @@
+On the Statistical Thermodynamics of Reversible Communicating Processes
+Normal rank
@@ Property / cites work @@
+Product-form stationary distributions for deficiency zero chemical reaction networks
+Normal rank
@@ Property / cites work @@
+Adhesive and quasiadhesive categories
@@ Property / cites work: Adhesive and quasiadhesive categories / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel program schemata
@@ Property / cites work: Parallel program schemata / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4917190