Towards a petri net semantics for membrane systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3850 LNCS, Issue , 2006, Pages 292-309

  Kleijn, Jetty H C M ^a   Koutny, Maciej ^b   Rozenberg, Grzegorz ^a,c  

^a LEIDEN UNIVERSITY   (Netherlands)

^b NEWCASTLE UNIVERSITY   (United Kingdom)

^c UCB 450   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; CONCURRENCY CONTROL; DATA STRUCTURES; PETRI NETS;

CONCURRENCY SEMANTICS; MEMBRANE SYSTEMS; STRUCTURAL LINKS;

SEMANTICS;

EID: 33745655403     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11603047_20     Document Type: Conference Paper

References (24)

1. Membrane systems web page: http://psystems.disco.unimib.it/
2. E. Best, M. Koutny: Petri net semantics of priority systems. Theoretical Computer Science, 96 (1992), 175-215.
3. C.S. Calude, Gh. Pǎun, G. Rozenberg, A. Salomaa, eds.: Multiset Processing. Mathematical, Computer Science, and Molecular Computing Points of View. LNCS 2235, Springer, Berlin, 2001.
4. M. Cavaliere, D. Sburlan: Time-independent P systems. In Membrane Computing, International Workshop, WMC5, Milano, Italy, 2004, Selected Papers (G. Mauri et al., eds.), LNCS 3365, Springer, Berlin, 2005, 239-258.
5. DS. al Zilio, E. Formenti: On the dynamics of PB systems: a Petri net view. In Membrane Computing, International Workshop, WMC 2003, Tarragona, July 2003, Selected Papers (C. Martin-Vide et al., eds.), LNCS 2933, Springer-Verlag, Berlin, 2004, 153-167.
6. C. Dufourd: Réseaux de Petri avec Reset/Transfert: Décidabilité et Indécidabilité. PhD Thesis, ENS Cachan, 1998.
7. J. Esparza, S. Römer, W. Vogler: An improvement of McMillan's unfolding algorithm. Formal Methods in System Design, 20 (2002), 285-310.
8. R. Freund: Asynchronous P systems and P systems working in the sequential mode. In Membrane Computing, International Workshop, WMC5, Milano, Italy, 2004, Selected Papers (G. Mauri et al., eds.), LNCS 3365, Springer, Berlin, 2005, 36-62.
9. O.H. Ibarra, Z. Dang, O. Egecioglu: Catalytic P systems, semilinear sets, and vector addition systems. Theoretical Computer Science, 312 (2004), 379-399.
10. O.H. Ibarra, H.C. Yen, Z. Dang: The power of maximal parallelism in P systems. Proceedings of DLT 2004, Auckland (C.S. Calude, E. Calude, M.J. Dinneed, eds.), LNCS 3340, Springer, Berlin, 2004, 212-224.
11. R. Janicki, P.E. Lauer, M. Koutny, R. Devillers: Concurrent and maximally concurrent evolution of nonsequential systems. Theoretical Computer Science, 43 (1986), 213-238.
12. V. Khomenko, M. Koutny, W. Vogler: Canonical prefixes of Petri net unfoldings. Acta Informatica, 40 (2003), 95-118.
13. H.C.M. Kleijn, M. Koutny: Process semantics of general inhibitor nets. Information and Computation, 190 (2004), 18-69.
14. H.C.M. Kleijn, M. Koutny, G. Rozenberg: Processes of Petri nets with localities. Manuscript, 2005.
15. K.L. McMillan: Using unfoldings to avoid state explosion problem in the Verification of Asynchronous Circuits. In Proceedings CAV 1992 (G. von Bochmann, D.K. Probst, eds.), LNCS 663, Springer, Berlin, 1992.
16. M. Nielsen, G. Plotkin, G. Winskel: Petri nets, event structures and domains, Part I. Theoretical Computer Science, 13 (1980), 85-108.
17. Gh. Pǎun: Computing with membranes. An introduction. Bulletin of the EATCS, 67 (1999), 139-152.
18. Gh. Pǎun: Membrane Computing, An Introduction. Springer, Berlin, 2002.
19. Gh. Pǎun, G. Rozenberg: A guide to membrane computing. Theoretical Computer Science, 287 (2002), 73-100.
20. Z. Qi, J. You, H. Mao: P systems and Petri nets. In Membrane Computing, International Workshop, WMC 2003, Tarragona, July 2003, Selected Papers (C. Martin-Vide et al., eds.), LNCS 2933, Springer, Berlin, 2004, 286-303.
21. W. Reisig, G. Rozenberg, eds.: Lectures on Petri Nets. LNCS 1491 and 1492, Springer, Berlin, 1998.
22. G. Rozenberg, J. Engelfriet: Elementary net systems. In [21]
23. R. Valk: Self-modifying nets, a natural extension of Petri nets. In Proceedings of ICALP 1978 (G. Ausiello, C. Böhm, eds.) LNCS 62, Springer, Berlin, 1978.
24. W. Vogler: Partial order semantics and read arcs. Theoretical Computer Science, 286 (2002), 33-63.