TY - JOUR A1 - Bordihn, Henning A1 - Vaszil, György T1 - Reversible parallel communicating finite automata systems JF - Acta informatica N2 - We study the concept of reversibility in connection with parallel communicating systems of finite automata (PCFA in short). We define the notion of reversibility in the case of PCFA (also covering the non-deterministic case) and discuss the relationship of the reversibility of the systems and the reversibility of its components. We show that a system can be reversible with non-reversible components, and the other way around, the reversibility of the components does not necessarily imply the reversibility of the system as a whole. We also investigate the computational power of deterministic centralized reversible PCFA. We show that these very simple types of PCFA (returning or non-returning) can recognize regular languages which cannot be accepted by reversible (deterministic) finite automata, and that they can even accept languages that are not context-free. We also separate the deterministic and non-deterministic variants in the case of systems with non-returning communication. We show that there are languages accepted by non-deterministic centralized PCFA, which cannot be recognized by any deterministic variant of the same type. KW - Finite automata KW - Reversibility KW - Systems of parallel communicating KW - automata Y1 - 2021 U6 - https://doi.org/10.1007/s00236-021-00396-9 SN - 0001-5903 SN - 1432-0525 VL - 58 IS - 4 SP - 263 EP - 279 PB - Springer CY - Berlin ; Heidelberg ; New York, NY ER - TY - JOUR A1 - Lippold, Holger A1 - Eidner, Sascha A1 - Kumke, Michael Uwe A1 - Lippmann-Pipke, Johanna T1 - Dynamics of metal-humate complexation equilibria as revealed by isotope exchange studies - a matter of concentration and time JF - Geochimica et cosmochimica acta : journal of the Geochemical Society and the Meteoritical Society N2 - Complexation with dissolved humic matter can be crucial in controlling the mobility of toxic or radioactive contaminant metals. For speciation and transport modelling, a dynamic equilibrium process is commonly assumed, where association and dissociation run permanently. This is, however, questionable in view of reported observations of a growing resistance to dissociation over time. In this study, the isotope exchange principle was employed to gain direct insight into the dynamics of the complexation equilibrium, including kinetic inertisation phenomena. Terbium(III), an analogue of trivalent actinides, was used as a representative of higher-valent metals. Isotherms of binding to (flocculated) humic acid, determined by means of Tb-160 as a radiotracer, were found to be identical regardless of whether the radioisotope was introduced together with the bulk of stable Tb-159 or subsequently after pre-equilibration for up to 3 months. Consequently, there is a permanent exchange of free and humic-bound Tb since all available binding sites are occupied in the plateau region of the isotherm. The existence of a dynamic equilibrium was thus evidenced. There was no indication of an inertisation under these experimental conditions. If the small amount of Tb-160 was introduced prior to saturation with Tb-159, the expected partial desorption of Tb-160 occurred at much lower rates than observed for the equilibration process in the reverse procedure. In addition, the rates decreased with time of pre-equilibration. Inertisation phenomena are thus confined to the stronger sites of humic molecules (occupied at low metal concentrations). Analysing the time-dependent course of isotope exchange according to first-order kinetics indicated that up to 3 years are needed to attain equilibrium. Since, however, metal-humic interaction remains reversible, exchange of metals between humic carriers and mineral surfaces cannot be neglected on the long time scale to be considered in predictive transport models. KW - Humic substances KW - Metal complexation KW - Kinetics KW - Reversibility KW - Isotope exchange KW - Dynamic equilibrium Y1 - 2016 U6 - https://doi.org/10.1016/j.gca.2016.10.019 SN - 0016-7037 SN - 1872-9533 VL - 197 SP - 62 EP - 70 PB - Elsevier CY - Oxford ER - TY - JOUR A1 - Keller, Peter A1 - Roelly, Sylvie A1 - Valleriani, Angelo T1 - On time duality for Markov Chains JF - Stochastic models N2 - For an irreducible continuous time Markov chain, we derive the distribution of the first passage time from a given state i to another given state j and the reversed passage time from j to i, each under the condition of no return to the starting point. When these two distributions are identical, we say that i and j are in time duality. We introduce a new condition called permuted balance that generalizes the concept of reversibility and provides sufficient criteria, based on the structure of the transition graph of the Markov chain. Illustrative examples are provided. KW - Time duality KW - Detailed balance KW - First passage time KW - Reversibility KW - Permuted balance KW - Markov chain Y1 - 2015 U6 - https://doi.org/10.1080/15326349.2014.969736 SN - 1532-6349 SN - 1532-4214 VL - 31 IS - 1 SP - 98 EP - 118 PB - Taylor & Francis Group CY - Philadelphia ER -