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.

Rights

Research Institute

Cyber Technology Institute (CTI)