Processes of membrane systems with promoters and inhibitors

Theoretical Computer Science

Volumn 404, Issue 1-2, 2008, Pages 112-126

  Kleijn, Jetty ^a   Koutny, Maciej ^b  

^a LEIDEN UNIVERSITY   (Netherlands)

^b NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

Inhibitor; Locality; Membrane system; Petri net; Promoter

Indexed keywords

CHEMICAL REACTIONS; COMPUTATIONAL LINGUISTICS; GRAFTING (CHEMICAL); GRAPH THEORY; INFORMATION THEORY; PETRI NETS; SYNTHESIS (CHEMICAL);

ASYNCHRONY; CAUSAL RELATIONSHIPS; COMPUTATIONAL MODELLING; EXTENDED PETRI NETS; INHIBITOR; INHIBITOR ARCS; LIVING CELLS; LOCALITY; MEMBRANE SYSTEM; MEMBRANE SYSTEMS; PETRI NET; PROMOTER; SEQUENTIAL SEMANTICS;

MARINE BIOLOGY;

EID: 49249096635     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2008.04.006     Document Type: Article

References (25)

1. Membrane systems web page: http://psystems.disco.unimib.it/
2. Best E., and Devillers R. Sequential and concurrent behaviour in Petri net theory. Theoretical Computer Science 55 (1988) 87-136
3. Best E., and Fernández C. Nonsequential Processes. A Petri Net View. EATCS Monographs on Theoretical Computer Science (1988), Springer-Verlag
4. Bottoni P., Martín-Vide C., Pǎun Gh., and Rozenberg G. Membrane systems with promoters/inhibitors. Acta Informatica 38 (2002) 695-720
5. In: Calude C.S., Pǎun Gh., Rozenberg G., and Salomaa A. (Eds). Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View. LNCS vol. 2235 (2001), Springer-Verlag
6. Cavaliere M., and Sburlan D. Time-independent P systems. In: Mauri G., et al. (Ed). WMC 2004. LNCS vol. 3365 (2005), Springer-Verlag 239-258
7. Dal Zilio S., and Formenti E. On the dynamics of PB systems: A Petri net view. In: Martín-Vide C., et al. (Ed). WMC 2003. LNCS vol. 2933 (2004), Springer-Verlag 153-167
8. In: Desel J., Reisig W., and Rozenberg G. (Eds). Lectures on Concurrency and Petri Nets. LNCS vol. 3098 (2004), Springer-Verlag
9. Freund R. Sequential P systems. Romanian Journal of Information Science and Technology 4 (2001) 77-88
10. Freund R. Asynchronous P systems and P systems working in the sequential mode. In: Mauri G., et al. (Ed). WMC 2004. LNCS vol. 3365 (2005), Springer-Verlag 36-62
11. Goltz U., and Reisig W. The non-sequential behaviour of Petri nets. Information and Control 57 (1983) 125-147
12. Kleijn H.C.M., and Koutny M. Process semantics of general inhibitor nets. Information and Computation 190 (2004) 18-69
13. Kleijn H.C.M., and Koutny M. Infinite process semantics of inhibitor nets. In: Donatelli S., and Thiagarajan P.S. (Eds). ICATPN 2006. LNCS vol. 4024 (2006), Springer-Verlag 282-301
14. Kleijn H.C.M., and Koutny M. Synchrony and asynchrony in membrane systems. In: Hoogeboom H.J., Pǎun Gh., Rozenberg G., and Salomaa A. (Eds). WMC'06. LNCS vol. 4361 (2006), Springer-Verlag 66-85
15. Kleijn J., and Koutny M. Processes of Petri nets with range testing. Fundamenta Informaticae 80 (2007) 199-219
16. Kleijn J., Koutny M., and Rozenberg G. Towards a Petri net semantics for membrane systems. In: Freund R., Paun Gh., Rozenberg G., and Salomaa A. (Eds). WMC'05. LNCS vol. 3850 (2006), Springer-Verlag 292-309
17. Kleijn J., Koutny M., and Rozenberg G. Process semantics for membrane systems. Journal of Automata, Languages and Combinatorics 11 (2006) 321-340
18. Nielsen M., Plotkin G., and Winskel G. Petri nets, event structures and domains, Part I. Theoretical Computer Science 13 (1980) 85-108
19. Pǎun Gh. Computing with membranes. Journal of Computer and System Sciences 61 (2000) 108-143
20. Pǎun Gh. Membrane Computing. An Introduction (2002), Springer-Verlag
21. Pǎun Gh., and Rozenberg G. A guide to membrane computing. Theoretical Computer Science 287 (2002) 73-100
22. Pǎun Gh., and Yu S. On synchronization in P systems. Fundamenta Informaticae 38 (1999) 397-410
23. Qi Z., You J., and Mao H. P systems and Petri nets. In: Martín-Vide C., et al. (Ed). WMC 2003. LNCS vol. 2933 (2004), Springer-Verlag 286-303
24. In: Reisig W., and Rozenberg G. (Eds). Lectures on Petri Nets. LNCS vol. 1491, 1492 (1998), Springer-Verlag
25. Rozenberg G., and Engelfriet J. Elementary net systems. In: Reisig W., and Rozenberg G. (Eds). Advances in Petri Nets. Lectures on Petri Nets I: Basic Models. LNCS vol. 1491 (1998), Springer-Verlag 12-121