
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
Marisa Llorens, Javier Oliver, "Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Petri Nets," IEEE Transactions on Computers, vol. 53, no. 9, pp. 11471158, September, 2004.  
BibTex  x  
@article{ 10.1109/TC.2004.66, author = {Marisa Llorens and Javier Oliver}, title = {Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Petri Nets}, journal ={IEEE Transactions on Computers}, volume = {53}, number = {9}, issn = {00189340}, year = {2004}, pages = {11471158}, doi = {http://doi.ieeecomputersociety.org/10.1109/TC.2004.66}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Computers TI  Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Petri Nets IS  9 SN  00189340 SP1147 EP1158 EPD  11471158 A1  Marisa Llorens, A1  Javier Oliver, PY  2004 KW  Theory of computation KW  computation by abstract devices KW  models of computation KW  relations between models KW  modes of computation KW  parallelism and concurrency. VL  53 JA  IEEE Transactions on Computers ER   
[1] A. Asperti and N. Busi, Mobile Petri Nets Technical Report UBLCS9610, Univ. of Bologna, Italy, 1996.
[2] E. Badouel, P. Darondeau, and A. Tokmakoff, Modelling Dynamic Agents Systems with Cooperating Automata Proc. Parallel and Distributed Processing Techniques and Applications (PDPTA '99), pp. 1117, 1999.
[3] E. Badouel, M. Llorens, and J. Oliver, Modelling Concurrent Systems: Reconfigurable Nets Proc. Parallel and Distributed Processing Techniques and Applications (PDPTA'03), vol. IV, pp. 15681574, 2003.
[4] E. Badouel and J. Oliver, Reconfigurable Nets, a Class of High Level Petri Nets Supporting Dynamic Changes Technical Report, Inria Research Report PI1163, France, 1998.
[5] E. Badouel and J. Oliver, Reconfigurable Nets, a Class of High Level Petri Nets Supporting Dynamic Changes within Workflow Systems Proc. Workflow Management: NetBased Concepts, Models, Techniques and Tools (WFM '98), CSR 98/07, Dept. of Math. and Computing Science, Eindhoven Univ. of Tech nology, pp. 129145, 1998.
[6] E. Badouel and J. Oliver, Dynamic Changes in Concurrent Systems: Modelling and Verification Technical Report, Inria Research Report PI3708, France, 1999.
[7] P. Baldan, Modelling Concurrent Computations: From Contextual Petri Nets to Graph Grammars PhD Thesis, Univ. of Pisa TD1/00, 2000.
[8] M. Buscemi and V. Sassone, HighLevel Petri Nets as Type Theories in the Join Calculus Proc. Fourth Int'l Conf. Foundations of Software Science and Computation Structures (FoSSaCS '01), pp. 104120, 2001.
[9] A. Corradini, Concurrent Computing: From Petri Nets to Graph Grammars Proc. Joint COMPUGRAPH/SEMAGRAPH Workshop Graph Rewriting and Computation, 1995. http://www.elsevier. nl/locate/entcsvolume2.html .
[10] C. Dufourd, A. Finkel, and P. Schnoebelen, Reset Nets between Decidability and Undecidability Proc. Int'l Colloquium Automata, Languages, and Programming (ICALP '98), pp. 103115, 1998.
[11] H. Ehrig, Tutorial Introduction to the Algebraic Approach of Graph Grammmars Proc. Third Int'l Workshop Graph Grammars and Their Application to Computer Science, pp. 314, 1987.
[12] J. Engelfriet, G. Leih, and G. Rozenberg, Net Based Description of Parallel ObjectBased Systems, or POTs and POPs Proc. Workshop Foundations of ObjectOriented Languages (FOOL '90), pp. 229273, 1991.
[13] C. Fournet and G. Gonthier, The Reflexive Chemical Abstract Machine and the JoinCalculus Proc. 23rd ACM Symp. Principles of Programming Languages (POPL '96), pp. 372385, 1996.
[14] C. Fournet, G. Gonthier, J. Lévy, L. Maranget, and D. Rémy, A Calculus of Mobile Agents Proc. Seventh Int'l Conf. Concurrency Theory (CONCUR '96), pp. 406421, 1996.
[15] P. Gradit, F. Vernadat, and P. Azéma, Layered$\Delta$Net Specification of a Workshop Proc. Int'l Conf. Parallel and Distributed Processing Techniques and Applications (PDPTA '99), vol. VI, pp. 28082814, 1999.
[16] J.E. Hopcroft and J.D. Ullman, Introduction to Automata Theory, Languages and Computation. AddisonWesley, 1979.
[17] M. Llorens and J. Oliver, Modelización de Sistemas Concurrentes mediante Redes Reconfigurables IX Jornadas de Concurrencia, pp. 213224, 2001.
[18] R. Milner, J. Parrow, and D. Walker, A Calculus of Mobile Processes J. Information and Computation, vol. 100, no. 1, pp. 177, 1992.
[19] T. Murata, “Petri Nets: Properties, Analysis and Application,” Proc. IEEE, vol. 77, no. 4, 1989.
[20] J.L. Peterson, Petri Net Theory and the Modeling of Systems. Englewood Cliffs, N.J.: Prentice Hall, 1981.
[21] H. Schneider, Graph Grammars as a Tool to Define the Behavior of Processes Systems: From Petri Nets to Linda Proc. Fourth Int'l Conf. Graph Grammars, 1993.
[22] T.A. Sudkamp, Languages and Machines. An Introduction to the Theory of Computer Science. AddisonWesley, 1988.
[23] R. Valk, SelfModifying Nets, a Natural Extension of Petri Nets Proc. Int'l Colloquium Automata, Languages, and Programming (ICALP '78), pp. 464476, 1978.
[24] R. Valk, Generalizations of Petri Nets Proc. 10th Symp. Math. Foundations of Computer Science (MFCS '81), pp. 140155, 1981.
[25] F. Vernadat, K. Drira, P. Azéma, An Integrated Description Technique for Distributed Cooperative Applications Proc. CESA'96 IMACS Multiconf., Symp. Discrete Events and Manufacturing Systems, pp. 608612, 1996.