Dependencies and simultaneity in membrane systems

Electronic Proceedings in Theoretical Computer Science, EPTCS

Volumn 11, Issue , 2009, Pages 155-169

  Pinna, G Michele ^a   Saba, Andrea ^a  

^a UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BIOINFORMATICS; PATHOLOGY;

EVENT STRUCTURES; MEMBRANE SYSTEM; OCCURRENCE NET; RULE APPLICATION; ZERO-SAFE NETS;

MEMBRANES;

EID: 79251609173     PISSN: 20752180     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4204/EPTCS.11.10     Document Type: Conference Paper

References (17)

1. P. Baldan, N. Busi, A. Corradini& G.M. Pinna (2004): Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs. Theoretical Computer Science 323(1-3), pp. 129-189. Available at http://dx.doi.org/10.1016/j.tcs.2004.04.001.
2. R. Bruni & U. Montanari (2000): Zero-Safe Nets: Comparing the Collective and Individual Token Approaches. Information and Computation 156(1-2), pp. 46-89.
3. R. Bruni & U. Montanari (2001): Transactions and Zero-Safe Nets. In: H. Ehrig, G. Juhas, J. Padberg & G. Rozenberg, editors: Unifying Petri Nets, Advances in Petri Nets, Lecture Notes in Computer Science 2128. Springer, pp. 380-426. Available at http://link.springer.de/link/service/series/0558/bibs/2128/21280380.htm.
4. N. Busi (2007): Causality in Membrane Systems. In: G. Eleftherakis, P. Kefalas, G. Pãun, G. Rozenberg & A. Salomaa, editors: Membrane Computing, 8th InternationalWorkshop, WMC 2007, Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers, Lecture Notes in Computer Science 4860. Springer, pp. 160-171. Available at http://dx.doi.org/10.1007/978-3-540-77312-2-10.
5. N. Busi (2007): Using well-structured transition systems to decide divergence for catalytic P systems. Theoretical Computer Science 372(2-3), pp. 125-135. Available at http://dx.doi.org/10.1016/j.tcs.2006.11.021.
6. G. Ciobanu & D. Lucanu (2007): Events, Causality, and Concurrency in Membrane Systems. In: G. Eleftherakis, P. Kefalas, G. Pãun, G. Rozenberg & A. Salomaa, editors: Membrane Computing, 8th International Workshop, WMC 2007, Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers, Lecture Notes in Computer Science 4860. Springer, pp. 209-227. Available at http://dx.doi.org/10.1007/978-3-540-77312-2-13.
7. J. Kleijn & M. Koutny (2008): Processes of membrane systems with promoters and inhibitors. Theoretical Computer Science 404(1-2), pp. 112-126. Available at http://dx.doi.org/10.1016/j.tcs.2008.04.006.
8. J. Kleijn, M. Koutny & G. Rozenberg (2005): Towards a Petri Net Semantics for Membrane Systems. In: Membrane Computing, 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers, Lecture Notes in Computer Science 3850. Springer, pp. 292-309. Available at http://dx.doi.org/10.1007/11603047-20.
9. J. Kleijn, M. Koutny & G. Rozenberg (2006): Process Semantics for Membrane Systems. Journal of Automata, Languages and Combinatorics 11(3), pp. 321-340.
10. G. Pãun (1999): Computing with Membranes: An Introduction. Bulletin of the EATCS 67, pp. 139-152.
11. G. Pãun (2000): Computing with Membranes. J. Comput. Syst. Sci. 61(1), pp. 108-143.
12. G. M. Pinna & A. Poigńe (1995): On the nature of events: Another perspective in concurrency. Theoretical Computer Science 138(2), pp. 425-454. Available at http://dx.doi.org/10.1016/0304-3975(94)00174-H.
13. G. M. Pinna & A. Saba (2008): An Event Based Semantics of P Systems. Scientific Annals of Computer Science XVIII, pp. 99-127. Available at http://www.infoiasi.ro/bin/download/Annals/XVIII/XVIII-4.pdf.
14. G. Michele Pinna (2006): Event Structures with Disabling/Enabling Relation and Event Automata. Fundamenta Informaticae 73(3), pp. 409-430. Available at http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=73&issue=3&spage=409.
15. R. J. van Glabbeek & G. D. Plotkin (1995): Configuration Structures. In: D. Kozen, editor: Proceedings of 10th Annual IEEE Symposium on Logic in Computer Science. IEEE Computer Society Press, pp. 199-209.
16. R. J. van Glabbeek & G. D. Plotkin (2009): Configuration structures, event structures and Petri nets. Theoretical Computer Science doi:10.1016/j.tcs.2009.06.014.
17. G. Winskel (1987): Event Structures. In: Petri Nets: Applications and Relationships to Other Models of Concurrency, Lecture Notes in Computer Science 255. Springer Verlag, pp. 325-392.