Modeling concurrent systems: Reconfigurable nets

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications

Volumn 4, Issue , 2003, Pages 1568-1574

  Badouel, Eric ^a   Llorens, Marisa ^b   Oliver, Javier ^b  

^a Ec Nat Sup Polytechnique   (Cameroon)

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

Author keywords

Concurrent systems; Dynamic changes; Graph rewriting; Petri nets

Indexed keywords

COMPUTER SIMULATION; DISTRIBUTED COMPUTER SYSTEMS; MATHEMATICAL MODELS; MERGING; PETRI NETS;

CONCURRENT SYSTEMS; RECONFIGURABLE NETS;

CONCURRENCY CONTROL;

EID: 1642283687     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

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. of Parallel and Distributed Processing Techniques and Applications (PDPTA'99), CSREA Press, pp. 11-17, Las Vegas, USA, 1999.
3. E. Badouel, M. Llorens, and J. Oliver. Modelling Concurrent Systems using Reconfigurable Nets. In Actes du 6eme Seminaire Atelier en Algèbre, Logique, et ses Applications, Yaoundé, Cameroon, 2002.
4. E. Badouel and J. Oliver. Reconfigurable Nets, a Class of High Level Petri Nets Supporting Dynamic Changes Within Workflow Systems. In Proc. of Workflow Management: Net-based concepts, models, techniques and tools (WFM'98), CSR 98/07, Eindhoven University of Technology, Department of Mathematics and Computing Science, pp. 129-145, Lisbon, Portugal, 1998.
5. E. Badouel and J. Oliver. Dynamic Changes in Concurrent Systems: Modelling and Verification. Technical report, Inria Research Report PI-3708, France, 1999.
6. P. Baldan. Modelling Concurrent Computations: From Contextual Petri Nets to Graph Grammars. PhD Thesis, University of Pisa TD-1/00. 2000.
7. A. Corradini. Concurrent Computing: From Petri Nets to Graph Grammars. Invited talk at the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, Elsevier, Electronic Notes in Theoretical Computer Science, vol. 2, 1995.
8. C. Ellis, K. Keddara and G. Rozenberg. Dynamic Change within Workflow Systems. In Proc. Conf. on Organizational Computing Systems (COOCS'95), ACM Press, Business Processes and Workflows, pp. 10-21, New York, 1995.
9. 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, Lecture Notes in Computer Science, vol. 489, pp. 229-273, Noordwijkerhout, Netherlands, 1991.
10. P. Gradit, F. Vernadat, and P. Azéma. Layered Δ-Net Specification of a Workshop. In the Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA'99), vol. VI, pp. 2808-2814, Las Vegas, USA, 1999.
11. T. Murata. Petri Nets: Properties, Analysis and Applications. In Proc. of the IEEE, vol. 77, no. 4, pp. 541-580, 1989.
12. J.L. Peterson. Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ. Prentice-Hall, 1981.
13. H. Schneider. Graph Grammars as a Tool to Define the Behavior of Processes Systems: From Petri Nets to Linda. In the 4th Int. Conf. on Graph Grammars, Williamsburg, USA, 1993.
14. R. Valk. Self-modifying Nets, a Natural Extension of Petri Nets. In Proc. of Int. Coll. on Automata, Languages and Programming (ICALP'78), Springer-Verlag, Lecture Notes in Computer Science, vol. 62, pp. 464-476, Udine, Italy, 1978.
15. R. Valk. Generalizations of Petri Nets. In Proc. of 10th Symp. on Mathematical Foundations of Computer Science (MFCS'81), Springer-Verlag, Lecture Notes in Computer Science, vol. 118, pp. 140-155, Strbske Pleso, Czechoslovia, 1981.
16. F. Vernadat, K. Drira, and P. Azéma. An Integrated Description Technique for Distributed Cooperative Applications. In Proc. of CESA'96 IMACS Multiconference, Symposium on Discrete Events and Manufacturing Systems, pp. 608-612, Lille, France, 1996.