Reversibility in Chemical Reactions
Date
2020-05-14
Advisors
Journal Title
Journal ISSN
ISSN
Volume Title
Publisher
Springer
Type
Book chapter
Peer reviewed
Yes
Abstract
In this chapter we give an overview of techniques for the modelling and reasoning about reversibility of systems, including outof- causal-order reversibility, as it appears in chemical reactions. We consider the autoprotolysis of water reaction, and model it with the Calculus of Covalent Bonding, the Bonding Calculus, and Reversing Petri Nets. This exercise demonstrates that the formalisms, developed for expressing advanced forms of reversibility, are able to model autoprotolysis of water very accurately. Characteristics and expressiveness of the three formalisms are discussed and illustrated.
Description
open access book
Keywords
Reversible computation, Reaction modelling, Calculus of Covalent Bonding, Bonding Calculus, Reversing Petri Nets
Citation
Kuhn, S., Bogdan, A., Ciobanu, G., Phillipou, A., Psara, K., Ulidowski, I. (2020) Reversibility in Chemical Reactions. In: Ulidowski, I., Lanese, I., Shultz, U.P., Ferreira, C. (Eds.) Reversible Computation: Extending Horizons of Computing, Cham: Springer, pp.151-176.