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.

Bernardinello, L., Bonzanni, N., Mascheroni, M., POMELLO CHINAGLIA POMELLO, L. (2007). Modelling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets. In Membrane Computing 8th International Workshop WMC 2007, revised, selected and invited papers (pp.124-137). Springer [10.1007/978-3-540-77312-2_8].

Modelling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets

BERNARDINELLO, LUCA;MASCHERONI, MARCO;POMELLO CHINAGLIA POMELLO, LUCIA
2007

Abstract

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.
paper
P-systems, hierarchical Petri nets
English
8th Workshop on Membrane Computing - WMC8
2007
Membrane Computing 8th International Workshop WMC 2007, revised, selected and invited papers
978-3-540-77311-5
2007
4860
124
137
none
Bernardinello, L., Bonzanni, N., Mascheroni, M., POMELLO CHINAGLIA POMELLO, L. (2007). Modelling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets. In Membrane Computing 8th International Workshop WMC 2007, revised, selected and invited papers (pp.124-137). Springer [10.1007/978-3-540-77312-2_8].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/14170
Citazioni
  • Scopus 4
  • ???jsp.display-item.citation.isi??? 2
Social impact