Search

This paper presents an approach to P system verification using the Spin model checker. It proposes a P system implementation in PROMELA, the modeling language accepted by SPIN. It also provides the theoretical background for transforming the temporal logic properties expressed for the P system into properties of the executable implementation. Furthermore, a comparison between P systems verification using SPIN and NUSMV is realized. The results obtained show that the PROMELA implementation is more adequate, especially for verifying more complex models, such as P systems that model ecosystems. [ABSTRACT FROM AUTHOR]

Positioned eco-grammar systems (PEG systems, for short) were introduced in [9]. Motivation of introducing positioned eco-grammar systems is an attempt to describe interplay between evolving environment and community of agents living in this environment whereas we focus on the positions of agents in the environment. PEG systems bring a new view to investigating interplay between community of agents and environment. Our approach allows to study local changes in evolving environment caused by agents moreover the position of the agent is strictly given by special symbol and we are able to predict its behavior and control the evolution of environment as well. In this paper we compare generative power of the PEG systems with three types of pure (regulated) grammars. [ABSTRACT FROM AUTHOR]

We investigate the descriptional complexity of limited Lindenmayer systems and their deterministic and tabled variants with respect to the number of rules and the number of symbols. In this part, we confine ourselves to propagating limited Lindenmayer systems. We determine the decrease of complexity when the generative capacity is increased. For incomparable families, we give languages that can be described more efficiently in either of these families than in the other. [ABSTRACT FROM AUTHOR]