Using the Formal Framework for P Systems

Abstract : In this article we focus on the model called the formal framework for P systems. This model provides a descriptional language powerful enough to represent in a simple way, via a strong bisimulation, most of the variants of P systems. The article presents a series of concrete examples of the application of the formal framework in order to understand, extend, compare and explain different models of P systems leading to new research ideas and open problems.
Liste complète des métadonnées

Cited literature [9 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01352297
Contributor : Serghei Verlan <>
Submitted on : Friday, March 10, 2017 - 10:14:17 PM
Last modification on : Wednesday, December 19, 2018 - 3:50:03 PM
Document(s) archivé(s) le : Sunday, June 11, 2017 - 5:19:54 PM

File

cmc14invit.pdf
Files produced by the author(s)

Licence


Copyright

Identifiers

  • HAL Id : hal-01352297, version 1

Collections

Citation

Sergey Verlan. Using the Formal Framework for P Systems. CMC 1414th International Conference Membrane Computing ,, Aug 2013, Chisinau, Moldova. pp.56-79. ⟨hal-01352297⟩

Share

Metrics

Record views

60

Files downloads

29