Momba: JANI Meets Python

JANI-model [6] is a model interchange format for networks of interacting automata. It is well-entrenched in the quantitative model checking community and allows modeling a variety of systems involving concurrency, probabilistic and real-time aspects, as well as continuous dynamics. Python is a general purpose programming language preferred by many for its ease of use and vast ecosystem. In this paper, we present Momba, a flexible Python framework for dealing with formal models centered around the JANI-model format and formalism. Momba strives to deliver an integrated and intuitive experience for experimenting with formal models making them accessible to a broader audience. To this end, it provides a pythonic interface for model construction, validation, and analysis. Here, we demonstrate these capabilities.

Simulation of the Motion of Magnetic Nanoparticles in Human Tissues

In this paper an attempt on the basis of the theory of mobile cellular automata to develop a model of motion of magnetic nanoparticles in human organs and tissues. In the framework of the method of movable cellular automata, the simulated system (tissues and organs) is represented by an assembly of interacting automata (elements of finite size). The concept of the method is based on the introduction of a new state type – the state of a pair of automata. Setting various parameters of the medium (tissues and organs). We can vary behavior of these particles in these mediums.