Introducing structural dynamic changes in petri nets: Marked-controlled reconfigurable nets

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

Volumn 3299, Issue , 2004, Pages 310-323

  Llorens, Marisa ^a   Oliver, Javier ^a  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

STRUCTURAL DYNAMICS;

CONCURRENT SYSTEMS; DYNAMIC CHANGES; GRAPH REWRITING RULES; METHODS OF VERIFICATIONS; MODELING AND VERIFICATIONS; NET REWRITING SYSTEMS; RECONFIGURABLE; SYSTEM CONFIGURATIONS;

PETRI NETS;

EID: 33847303747     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30476-0_26     Document Type: Article

References (19)

1. A. Asperti and N. Busi. Mobile Petri Nets. Technical report UBLCS-96-10, University of Bologna, Italy, 1996.
2. E. Badouel, Ph. Darondeau, and A. Tokmakoff. Modelling Dynamic Agents Systems with Cooperating Automata. In Proc. Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA'99), pp. 11-17, USA, 1999.
3. E. Badouel, M. Llorens, and J. Oliver. Modelling Concurrent Systems: Reconfigurable Nets. In Proc. Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA'03), vol. IV, pp. 1568-1574, USA, 2003.
4. P. Baldan. Modelling Concurrent Computations: From Contextual Petri Nets to Graph Grammars. PhD Thesis, University of Pisa TD-1/00, 2000.
5. M. Buscemi and V. Sassone. High-level Petri nets as type theories in the Join calculus. In Proc. 4th I.C. on Foundations of Software Science and Computation Structures (FoSSaCS'01), Springer, LNCS, vol. 2030, pp. 104-120, Italy, 2001.
6. A. Corradini. Concurrent Computing: From Petri Nets to Graph Grammars. Invited talk at the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, Elsevier, ENTCS, vol. 2, 1995. http://www.elsevier.nl/locate/entcs/ volume2.html.
7. C. Dufourd, A. Finkel, and Ph. Schnoebelen. Reset nets between decidability and undecidability. In Proc. Int. Coll. on Automata, Languages and Programming (ICALP'98), Springer-Verlag, LNCS, vol. 1443, pp. 103-115, Denmark, 1998.
8. J. Engelfriet, G. Leih, and G. Rozenberg. Net Based Description of Parallel Object-based Systems, or POTs and POPs. Workshop on Foundations of Object-Oriented Languages (FOOL'90), Springer-Verlag, LNCS, vol. 489, pp. 229-273, Noordwijkerhout, Netherlands, 1991.
9. C. Fournet, G. Gonthier, J. Lévy, L. Maranget, and D. Rémy. A Calculus of Mobile Agents. In Proc. 7th Int. Conf. on Concurrency Theory (CONCUR'96), Springer-Verlag, LNCS, vol. 1119, pp. 406-421, Pisa, Italy, 1996.
10. P. Gradit, F. Vernadat, and P. Azéma. Layered Δ-Net Specification of a Workshop. In Proc. Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA'99), vol. VI, pp. 2808-2814, USA, 1999.
11. M. Llorens and J. Oliver. Sistemas de Reescritura de Redes. In XI Jornadas de Concurrencia, pp. 237-250, Benicassim, Castellón (Spain), 2003.
12. M. Llorens. Redes Reconfigurables. Modelización y Verificación. Phd thesis, Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, Spain, 2003.
13. M. Llorens and J. Oliver. Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Nets. In IEEE Transactions on Computers, vol. 53, no. 9, pp. 1147-1158, September 2004.
14. R. Milner, J. Parrow, and D. Walker. A Calculus of Mobile Processes. In Journal of Information and Computation, Academic Press, vol. 100, no.1, pp. 1-77, 1992.
15. T. Murata. Petri Nets: Properties, Analysis and Applications. In Proc. of the IEEE, vol. 77, no.4, pp. 541-580, 1989.
16. J.L. Peterson. Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ. Prentice-Hall, 1981.
17. H. Schneider. Graph Grammars as a Tool to Define the Behavior of Processes Systems: From Petri Nets to Linda. In Proc. 5th Int. Conf. on Graph Grammars and their Application to Computer Science, pp. 7-12, Williamsburg, USA, 1994.
18. R. Valk. Self-modifying Nets, a Natural Extension of Petri Nets. In Proc. Int. Coll. on Automata, Languages and Programming (ICALP'78), Springer-Verlag, LNCS, vol. 62, pp. 464-476, Udine, Italy, 1978.
19. R. Valk. Generalizations of Petri Nets. In Proc. 10th Symp. on Mathematical Foundations of Computer Science (MFCS'81), Springer-Verlag, LNCS, vol. 118, pp. 140-155, Strbske Pleso, Czechoslovakia, 1981.