Abstract
Carbon represents the fourth most abundant chemical element in the world, having two stable and one radioactive isotope. The 13 Carbon isotopes, with a natural abundance of 1.1%, plays an important role in numerous applications, such as the study of human metabolism changes, molecular structure studies, non-invasive respiratory tests, Alzheimer tests, air pollution and global warming effects on plants [2]. Distributed systems are increasingly being applied in critical real-time applications and their complexity forces programmers to use design methods which guarantee correctness and increase the maintainability of the products. Objectoriented methodologies are widely used to cope with complexity in any kind of system, but most of them lack a formal foundation to allow the analysis and verification of designs, which is one of the main requirements for dealing with concurrent and reactive systems. This research is intended to make an analogy between two tips of industrial processes, one 13C Isotope Separation Column and other one distributed systems. We try to highlight detection of „mission critical “situations for this two processes and show with one is more critical and needs deeply supervisyon [1], [3].
