Membrane systems with coupled transport: universality and normal forms
Fundamenta Informaticae - Membrane computing
The power of communication: P systems with symport/antiport
New Generation Computing
Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part II
About P systems with symport/antiport
Soft Computing - A Fusion of Foundations, Methodologies and Applications
P systems, petri nets, and program machines
WMC'05 Proceedings of the 6th international conference on Membrane Computing
Towards a petri net semantics for membrane systems
WMC'05 Proceedings of the 6th international conference on Membrane Computing
Modelling mobility with petri hypernets
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Nets-Within-Nets paradigm and grid computing
Transactions on Petri Nets and Other Models of Concurrency V
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
| Hi-index | 0.00 |
A model of P systems with symport/antiport rules is given in terms of hypernets, a generalization of a class of hierarchical Petri nets introduced for modeling mobility inside the nets-within-nets paradigm. The hierarchical structure of a P system is reflected by the associated hypernet, where molecules are modeled by unstructured agents (simple tokens) and membranes by agents. Each agent is modeled by a net which may contain in its places unstructured agents or other agents. Agents can exchange tokens with their sub- or super-agents and thus the hierarchy may change. The main result of the paper shows a correspondence between reachable configurations of the P system and reachable hypermarkings of the related hypernet, in such a way that if the P system can evolve from one configuration to another one then in the hypernet there exists a corresponding transformation of hypermarkings.