Statecharts: A visual formalism for complex systems
Science of Computer Programming
X-machines as a basis for dynamic system specification
Software Engineering Journal
The algorithmic beauty of plants
The algorithmic beauty of plants
The computational linguistics of biological sequences
Artificial intelligence and molecular biology
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Journal of Computer and System Sciences
Automata, Languages, and Machines
Automata, Languages, and Machines
Grammar Systems: A Grammatical Approach to Distribution and Cooperation
Grammar Systems: A Grammatical Approach to Distribution and Cooperation
Membrane Computing: An Introduction
Membrane Computing: An Introduction
P Systems with replicated rewriting and stream X-machines (Eilenberg machines)
Fundamenta Informaticae - Membrane computing
Formal Modelling of Reactive Agents as an Aggregation of Simple Behaviours
SETN '02 Proceedings of the Second Hellenic Conference on AI: Methods and Applications of Artificial Intelligence
WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
The Immune System as a Reactive System: Modeling T Cell Activation with Statecharts,
The Immune System as a Reactive System: Modeling T Cell Activation with Statecharts,
DNA Computing: New Computing Paradigms (Texts in Theoretical Computer Science. An EATCS Series)
DNA Computing: New Computing Paradigms (Texts in Theoretical Computer Science. An EATCS Series)
Testing against a non-controllable stream X-machine using state counting
Theoretical Computer Science
Testing data processing-oriented systems from stream X-machine models
Theoretical Computer Science
Checking experiments for stream X-machines
Theoretical Computer Science
Hi-index | 0.00 |
The paper is a survey of the main features of P systems, X machines and of a new computational device called PX system. The sequential and the parallel PX systems are presented. Results reflecting the computational power of these models and their effectiveness in solving NP-complete problems are briefly mentioned.