Modifying Petri net models by means of crosscutting operations

Proceedings - International Conference on Application of Concurrency to System Design, ACSD

Volumn 2003-January, Issue , 2003, Pages 177-186

  Barros, João Paulo ^a,b   Gomes, Luís ^a  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

^b INSTITUTO POLITÉCNICO DE BEJA   (Portugal)

Author keywords

Computer languages; Concurrent computing; History; Object oriented modeling; Petri nets; Proposals; Stress

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; HISTORY; MODELING LANGUAGES; STRESSES; SYSTEMS ANALYSIS;

APPLICATION EXAMPLES; CONCURRENT COMPUTING; FUTURE MODELS; GRAPHICAL REPRESENTATIONS; OBJECT ORIENTED MODEL; PETRI NET MODELS; PROPOSALS; SYSTEM SYNTHESIS;

PETRI NETS;

EID: 84891393214     PISSN: 15504808     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSD.2003.1207712     Document Type: Conference Paper

References (21)

1. G. Agha, F. de Cindio, and G. Rozenberg, editors. Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets, volume 2001 of Lecture Notes in Computer Science. Springer, 2001.
2. W. Brauer, R. Gold, and W. Vogler. A Survey of Behaviour and Equivalence Preserving Refinements of Petri Nets. Lecture Notes in Computer Science; Advances in Petri Nets 1990, 483:1-46, 1991.
3. P. Buchholz. Hierarchical High Level Petri Nets for Complex System Analysis. In Valette, R., editor, Lecture Notes in Computer Science; Application and Theory of Petri Nets 1994, Proceedings 15th International Conference, Zaragoza, Spain, volume 815, pages 119-138. Springer-Verlag, 1994.
4. H. Ehrig, G. Juhás, J. Padberg, and G. Rozenberg, editors. Unifying Petri Nets, Advances in Petri Nets, volume 2128 of Lecture Notes in Computer Science. Springer, 2001.
5. J. Esparza and M. Silva. On the Analysis and Synthesis of Free Choice Systems. Lecture Notes in Computer Science; Advances in Petri Nets 1990, 483:243-286, 1991.
6. R. Fehling. A Concept of Hierarchical Petri Nets with Building Blocks. In Proceedings of the 12th International Conference on Application and Theory of Petri Nets, 1991, Gjern, Denmark, pages 370-389, June 1991.
7. L. Gomes and A. Steiger-Garção. Towards the Implementation of Conflict Resolution on a Non Autonomous High-Level Petri Net Model. In Workshop Manufacturing and Petri Nets, Osaka, Japan, jun 1996. Satellite workshop of the 17th International Conference on Application and Theory of Petri Nets (ICATPN'96).
8. L. Gomes and A. Steiger-Garção. Petri Net Based Hierarchical State Machine Model for Reactive Real-Time Systems. In D. Michelis, G. and Diaz, M., editors, Proceedings of the 2nd Portuguese Conference on Automatic Control (CON-TROLO'96), pages 709-714. Associaao Portuguesa de Controlo Automatico (APCA), sep 1996.
9. X. He. A Formal Definition of Hierarchical Predicate Transition Nets. In Lecture Notes in Computer Science; Proc. 17th International Conference in Application and Theory of Petri Nets (ICATPN'96), Osaka, Japan, volume 1091, pages 212-229. Springer-Verlag, June 1996.
10. X. He and J. A. N. Lee. A Methodology for Constructing Predicate Transition Net Specifications. Software-Practice and Experience, 21(8):845-875, Aug. 1991.
11. P. Huber, K. Jensen, and R. M. Shapiro. Hierarchies in Coloured Petri Nets. In Proceedings of the 10th International Conference on Application and Theory of Petri Nets, 1989, Bonn, Germany, pages 192-209, 1989.
12. G. J. Jörg Desel. What is a Petri Net. In Ehrig et al. [4], pages 1-25.
13. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-Oriented Programming. In M. Akşit and S. Matsuoka, editors, 11th European Conference on Object-Oriented Programming, volume 1241 of LNCS, pages 220-242, Berlin, Heidelberg, and New York, 1997. Springer Verlag.
14. C. Lakos. Composing Abstractions of Coloured Petri Nets. In Nielsen, M. and Simpson, D., editors, Lecture Notes in Computer Science: 21st International Conference on Application and Theory of Petri Nets, Aarhus, Denmark, June 2000, volume 1825, pages 323-345. Springer-Verlag, 2000.
15. C. A. Lakos. On the Abstraction of Coloured Petri Nets. In Azéma, P. and Balbo, G., editors, Lecture Notes in Computer Science: 18th International Conference on Application and Theory of Petri Nets, Toulouse, France, June 1997, volume 1248, pages 42-61. Springer-Verlag, 1997.
16. J. Padberg, H. Weber, and A. Sünbül. Evolutionary Development of Business Process Centered Architectures Using Component Technologies. In Proc. Integrated Design and Process Technology. Society for Design and Process Science, 2000.
17. J. Padberg, H. Weber, and A. Sünbül. Petri Net Based Components for Evolvable Architectures. In Proc. Integrated Design and Process Technology. Society for Design and Process Science, 2000.
18. W. Reisig. Petri Nets in Software Engineering. In Brauer, W., Reisig, W., and Rozenberg, G., editors, Lecture Notes in Computer Science: Petri Nets: Applications and Relationships to Other Models of Concurrency, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, September 1986, volume 255, pages 63-96. Springer-Verlag, 1987.
19. W. Reisig. Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets. Springer-Verlag, 1998.
20. E. Smith. Arbiter Behaviour and Petri Nets. Fachberichte Informatik, Universität Koblenz-Landau, 2/93, 1993.
21. P. Tarr, H. Ossher, W. Harrison, and J. Stanley M. Sutton. N Degrees of Separation: Multi-Dimensional Separation of Concerns. In Proceedings of the 21st international conference on Software engineering, pages 107-119. IEEE Computer Society Press, 1999.