Net model composition and modification by net operations: A pragmatic approach

2nd IEEE International Conference on Industrial Informatics, INDIN'04

Volumn , Issue , 2004, Pages 309-314

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

^a UNINOVA   (Portugal)

^b INSTITUTO POLITÉCNICO DE BEJA   (Portugal)

Author keywords

Distributed automation systems; Model composition; Model transformations; Petri nets

Indexed keywords

AUTOMATION; CONTROL SYSTEMS;

DISTRIBUTED AUTOMATION SYSTEMS; MODEL COMPOSITION; MODEL TRANSFORMATIONS;

PETRI NETS;

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

References (15)

1. rd International Conference on Application of Concurrency to System Design. IEEE Computer Society, jun 2003.
2. João Paulo Barros and Luís Gomes. Operational PNML: Towards a PNML support for model construction and modification. In Workshop on the Definition, Implementation and Application of a Standard Interchange Format for Petri Nets; Satellite event at the International Conference on Application and Theory of Petri Nets 2004, jun 2004. to appear.
3. th International Conference on Application and Theory of Petri Nets, volume 2679 of LNCS, pages 483-505, Eindhoven, Holland, jun 2003. Springer-Verlag.
4. Wilfried Brauer, Robert Gold, and Walter 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.
5. Peter 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.
6. Søren Christensen and N. D. Hansen. Coloured Petri nets extended with channels for synchronous communication. Daimi PB-390, 1992.
7. Søren Christensen and Laure Petrucci. Modular analysis of Petri nets. Computer Journal, 43(3):224-242, 2000.
8. th International Conference on Application and Theory of Petri Nets, 1991. Gjern, Denmark, pages 370-389, jun 1991.
9. Luis Gomes and João Paulo Barros. On structuring mechanisms for Petri nets based system design. In Proceedings of the 2003 IEEE Conference on Emerging Technologies and Factory Automation (ETFA 2003), pages 431-438. IEEE Catalog Number: 03TH8696, sep 2003.
10. Xudong He and John A. N. Lee. A methodology for constructing predicate transition net specifications. Software-Practice and Experience. 21(8):845-875, aug 1991.
11. th International Conference on Application and Theory of Petri Nets, 1989, Bonn. Germany, pages 192-209, 1989.
12. K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use - Volume 1-3. Monographs in Theoretical Computer Science. An EATCS Series. Springer-Verlag, Berlin, Germany, 1992-1997.
13. M. Jüngel, E. Kindler, and M. Weber. The Petri net markup language. In S. Phillipi, editor, Workshop Algorithmen und Werkzeuge fr Petrinetze, oct 2000.
14. Julia Padberg. Petri net modules. Transactions of the SDPS, 6(3):121-196, sep 2002.
15. Peri Tarr, Harold Ossher, William Harrison, and Jr. 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.