P systems and Petri nets

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

Volumn 2933, Issue , 2004, Pages 286-303

  Qi, Zhengwei ^a   You, Jinyuan ^a   Mao, Hongyan ^a  

^a SHANGHAI JIAO TONG UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

BIOINFORMATICS; SEMANTICS;

BEHAVIORAL PROPERTIES; COLORED PETRI NET; DYNAMIC FEATURES; EVOLVING RULE; GENERAL CLASS; INCIDENCE MATRICES; MODELLING TOOLS; STRUCTURAL OPERATIONAL SEMANTICS;

PETRI NETS;

EID: 35048881461     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24619-0_21     Document Type: Article

References (22)

1. A. Asperti, N. Bussi, Mobile Petri nets. Technical Report UBLCS-96-10, University of Bologna, Italy (1996) 10-21.
2. E. Badouel, J. Oliver, Reconfigurable nets: A class of high-level Petri nets supporting dynamic changes with workflow systems, INRIA Research Report, PI-1163, 1998.
3. A.V. Baranda, F. Arroyo, J. Castellanos, and R. Gonzalo, Towards an electronic implementation of membrane computing: A formal description of non-deterministic evolution in transition P systems, Lecture Notes in Computer Science, Vol. 2340, Springer, Berlin.
4. T. Bǎlǎnescu, M. Gheorghe, M. Holcombe, and F. Ipate, Eilenberg P systems, Lecture Notes in Computer Science, Vol. 2597, Springer, Berlin.
5. M. Cavaliere, Evolution-communication P systems, Lecture Notes in Computer Science, Vol. 2597, Springer, Berlin.
6. R. Ceterchi, C. Martín-Vide, Dynamic P systems, Lecture Notes in Computer Science, Vol. 2597, Springer, Berlin.
7. E.W. Dijkstra, Hierarchical ordering of sequential processes, Acta Informatica, 1, 1971, 115-138.
8. C. Ellis, K. Keddara, G. Rozenberg, Dynamic change within workflow systems. Proceeding of the Conference on Organizational Computing Systems, ACM Press, New York (1995).
9. M.-K. Ghabri, P. Ladet, Dynamic Petri nets and their applications, Proceedings of the Fourth International Conference on Computer Integrated Manufacturing and Automation Technology, (1994) 93-98.
10. K. Jensen, Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Basic Concepts, Springer-Verlag, 2nd corrected printing 1997.
11. M. Madhu, K. Krithivasan, A survey of some variants of P systems, Lecture Notes in Computer Science, Vol. 2597, Springer, Berlin.
12. M. Margenstern, C. Martin-Vide, Gh. Pǎun, Computing with membranes; variants with an enhanced membrane handling, Proc. 7th Internat. Meeting on DNA Based Computers, Tampa, FL, 2001.
13. C. Martin-Vide, Gh. Pǎun, G. Rozenberg, Membrane systems with carriers, Theoret. Comput. Sci., 270 (2002) 779-796.
14. T. Murata, Petri nets: Properties, analysis and applications, Proc. of the IEEE, 77(4):541-580, April 1989.
15. A. Obtulowicz, Probabilistic P systems, Lecture Notes in Computer Science, Vol. 2597, Springer, Berlin.
16. A. Pǎun, Gh. Pǎun, The power of communication: P systems with symport/antiport, New Generation Computing, 20, 3 (2002), 295-306.
17. Gh. Pǎun, Computing with membranes, J. Comput. System Sci. 61(1) (2000) 108-143.
18. (See also Turku Center for Computer Science-TUCS Report No. 208, 1998, www.tucs.fi).
19. Gh. Pǎun, G. Rozenberg, A guide to membrane computing, Theoret. Comput. Sci., 287 (2002), 73-100.
20. M.J. Perez-Jimenez, F. Sancho-Caparrini, Verifying a P system generating squares, Romanian J. Inform. Sci. Tech. 5 (2002) 181-191.
21. M.J. Perez-Jimenez, F. Sancho-Caparrini, A formalization of transition P systems, Fund. Inform., 49 (2002) 261-272.
22. J.L. Peterson, Petri net Theory and the Modeling of Systems, Prentice-Hall, N.J., 1981.