scientific article; zbMATH DE number 956807
From MaRDI portal
zbMath0861.68004MaRDI QIDQ5687214
Publication date: 11 December 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A notion of equivalence for stochastic Petri nets, Equivalence checking 40 years after: a review of bisimulation tools, Aggregation of stochastic automata networks with replicas, Bisimulation relations for weighted automata, Stochastic Petri net models of \(\text{Ca}^{2+}\) signaling complexes and their analysis, Lumpable continuous-time stochastic automata networks., Circulant approximation for preconditioning in stochastic automata networks, Exact performance equivalence: An equivalence relation for stochastic automata, A Stochastic Automata Network Description for Spatial DNA-Methylation Models