Showing papers by "Grzegorz Rozenberg published in 2013"
TL;DR: This paper discusses research frontiers of membrane computing by presenting current open problems and research topics, together with the relevant background and motivation.
Abstract: This paper discusses research frontiers of membrane computing by presenting current open problems and research topics, together with the relevant background and motivation.
47 citations
TL;DR: This paper provides an extensive classification of boolean nets which can be described by connection monoids, based on the realisation that the different ways of interpreting combinations of connections can be made explicit using a higher level monoid.
Abstract: Boolean nets are a family of Petri net models with very simple markings which are sets of places. We investigate several classes of boolean nets distinguished by different kinds of individual connections between places and transitions, as well as different ways in which these connections are combined in order to specify the effect of executing steps of transitions. The latter aspect can be captured by connection monoids. A key advantage of using connection monoids is that by describing the step semantics of a class of Petri nets in terms of a connection monoid, one can apply results developed within a general theory of Petri net synthesis. In this paper, we provide an extensive classification of boolean nets which can be described by connection monoids. This classification is based on the realisation that the different ways of interpreting combinations of connections can be made explicit using a higher level monoid. Moreover, we demonstrate that connection monoids can capture other behavioural properties of boolean nets, such as structural conflicts between transitions.
17 citations
01 Jan 2013
TL;DR: This chapter is dedicated to the memory of Professor Zdzislaw Pawlak, founder of the Polish school of Artificial Intelligence and one of the pioneers in Computer Engineering and Computer Science with worldwide influence.
Abstract: This chapter is dedicated to the memory of Professor Zdzislaw Pawlak, founder of the Polish school of Artificial Intelligence and one of the pioneers in Computer Engineering and Computer Science with worldwide influence.
11 citations
TL;DR: In this paper, a transfer of two assumptions/axioms of reaction systems, non-permanency and the threshold assumption, into the framework of membrane computing is discussed.
Abstract: This paper continues an investigation into bridging two research areas concerned with natural computing: membrane computing and reaction systems. More specifically, the paper considers a transfer of two assumptions/axioms of reaction systems, non-permanency and the threshold assumption, into the framework of membrane computing. It is proved that: 1 spiking neural P systems with non-permanency of spikes assumption characterize the semilinear sets of numbers, and 2 symport/antiport P systems with threshold assumption translated as ω multiplicity of objects can solve SAT in polynomial time. Also, several open research problems are stated.
4 citations
01 Jan 2013
TL;DR: Petri nets have established themselves as a central model of distributed systems and possess a rich theory, have been extended along multiple dimensions and are used in an astonishingly wide variety of domains.
Abstract: Carl Adam Petri was a visionary who founded an extraordinarily fruitful domain of study in the field of distributed discrete event systems He was the first computer scientist to identify concurrency as a fundamental aspect of computing He did so in his seminal PhD thesis from 1962 where in fact he outlined a whole new foundations for computer science He devoted the rest of his working life to pursuing his ambitious and far reaching research goals Petri nets -the core model that arose out of his thesis- have established themselves as a central model of distributed systems They possess a rich theory, have been extended along multiple dimensions and are used in an astonishingly wide variety of domains
2 citations
01 Jan 2013
TL;DR: Natural Computing as mentioned in this paper is concerned with human-designed computing inspired by nature as well as with computation taking place in nature, i.e., it investigates models, computational techniques, and computational technologies inspired by natural technologies.
Abstract: Natural Computing (see, e.g., [12,13]) is concerned with human-designed computing inspired by nature as well as with computation taking place in nature, i.e., it investigates models, computational techniques, and computational technologies inspired by nature as well as it investigates, in terms of information processing, phenomena/processes taking place in nature.
01 Jul 2013
TL;DR: Natural Computing (see, e.g., [12,13]) is concerned with human-designed computing inspired by nature as well as with computation taking place in nature, i.e., it investigates models, computational techniques, and computational technologies inspired byNature aswell as it investigates, in terms of information processing, phenomena/processes taking Place in nature.
Abstract: Natural Computing (see, e.g., [12,13]) is concerned with human-designed computing inspired by nature as well as with computation taking place in nature, i.e., it investigates models, computational techniques, and computational technologies inspired by nature as well as it investigates, in terms of information processing, phenomena/processes taking place in nature.
01 Jul 2013
TL;DR: Natural Computing (cf., e.g., [12,13]) is concerned with human-designed computing inspired by nature as well as with computation taking place in nature, i.e., it investigates models, computational techniques, and computational technologies inspired byNature aswell as it investigates, in terms of information processing, phenomena/processes taking Place in nature.
Abstract: Natural Computing (cf., e.g., [12,13]) is concerned with human-designed computing inspired by nature as well as with computation taking place in nature, i.e., it investigates models, computational techniques, and computational technologies inspired by nature as well as it investigates, in terms of information processing, phenomena/processes taking place in nature.