Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 Fundamenta Informaticae

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Monitoring Changes in Dynamic Multiset Systems

Ciobanu G., Sburlan D.

Fundamenta Informaticae

2014

Vol. 134, nr 1/2

67--82

Models of biological systems expressed as multiset rewriting systems can be very complex, impeding the analysis of their behaviour. In this paper we propose a practical solution to this problem, in the form of change monitors, i.e. computational instruments which synchronise with the model and record its behaviour. Change monitors play the role of passive observers. Since change monitors can automatically identify specific behaviours generated by the model under investigation, it is sufficient to focus only on the output produced by the monitors (instead of examining the dynamics of the initial model).

Time and Synchronization in Membrane Systems

Cavaliere M., Sburlan D.

Fundamenta Informaticae

2005

Vol. 64, nr 1-4

65-77

Membrane systems are parallel computational devices inspired from the cell functioning. Since the original definition, a standard feature of membrane systems is the fact that each rule of the system is executed in exactly one time-unit. However, this hypothesis seems not to have a counterpart in real world. In fact, in cells, chemical reactions might take different times to be executed. Therefore, a natural step is to associate to each rule of a membrane system a certain time of execution. We are interested in membrane systems, called time-free, working independently from the assigned execution time of the rules. A basic and interesting problem in time-free membrane systems consists in the synchronization of different rules, running in parallel, and having unknown execution times. Here, we present different ways to approach this problem within the framework of membrane systems. Several research proposals are also suggested.