Component Tools: Integrating Petri nets with other formal methods

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

Volumn 4024 LNCS, Issue , 2006, Pages 37-56

  Kindler, Ekkart ^a   Rubin, Vladimir ^a   Wagner, Robert ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

Components; Formal methods; Integration; Petri nets; System engineering; Transformation

Indexed keywords

FORMAL LOGIC; INTEGRATION; MATHEMATICAL MODELS; PETRI NETS; PROJECT MANAGEMENT; SYSTEMS ENGINEERING;

FORMAL METHODS; FORMALISMS; MANUFACTURING SYSTEMS;

COMPONENTS;

EID: 33746051764     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11767589_3     Document Type: Conference Paper

References (24)

1. A. Agrawal, G. Karsai, Z. Kalmar, S. Neema, F. Shi, and A. Vizhanyo, "The design of a simple language for graph transformations," Journal in Software and System Modeling, 2005, in review.
2. Brooks Automation Corporate, "AutoMod Suite," http://www.automod.com/products/products.asp.
3. K. Czarnecki and S. Helsen, "Classification of model transformation approaches," in OOPSLA'03 Workshop on Generative Techniques in the Context of Model-Driven Architecture, 2003.
4. W. Dangelmaier, B. Mueck, C. Laroque, and K. R Mahajan, "d3fact insight: A simulation-tool for multiresolution material flow models," in Simulation in Industry - 16th European Simulation Symposium (ESS2004) SCS - Europe, I. Lipovszki, György; Molnár, Ed., 2004, pp. 17-22.
5. FASTEC GmbH, "Lontrol," http://www.fastec.de/.
6. A. Gepting, J. Greenyer, E. Kindler, A. Maas, S. Munkelt, C. Pales, T. Pivl, O. Rohe, V. Rubin, M. Sanders, A. Scholand, C. Wagner, and R. Wagner, "Component tools: A vision of a tool," in Proc. of the 11th Workshop on Algorithms and Tools for Petri Nets (AWPN), ser. Tech. Rep. tr-ri-04-251, Paderborn, Germany, September 2004, pp. 37-42.
7. H. Giese, E. Kindler, F. Klein, and R. Wagner, "Reconciling scenario-centered controller design with state-based system models," in 4th International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'05), Satellite event of ICSE '05, May 2005.
8. J. Greenyer, "Maintaining and using component libraries for the design of material flow systems: Concept and prototypical implementation," Bachelor thesis, Department of Computer Science, University of Paderborn, October 2003.
9. J. Greenyer, "A study of technologies for model transformation: Reconciling TGGs with QVT," Master thesis, Department of Computer Science, University of Paderborn, July 2006 (in preparation).
10. D. Harel and R. Marelly, "Come let's play: Scenario-based programming using LSCs and the Play-engine," Springer-Verlag, 2003.
11. E. Kindler and F. Nillies: "Petri nets and the real world," in: AWPN workshop 2005, proceedings, Berlin, Germany, K. Schmidt, C. Stahl, Ed., September 2005, pp. 19-24.
12. E. Kindler and C. Páles, "3D-visualization of Petri net models: Concept and realization," in Application and Theory of Petri Nets 2004, 25th International Conference, ser. LNCS, J. Cortadella and W. Reisig, Eds., vol. 3099. Springer, June 2004, pp. 464-473.
13. E. Kindler, V. Rubin, and R. Wagner, "An adaptable TGG interpreter for in-memory model transformation," in Proc. of the Fujaba Days 2004, Darmstadt, Germany, September 2004, pp. 35-38.
14. OMG, Model Driven Architecture, http://www.omg.org/mda/.
15. C. Rust, J. Stroop, and J. Tacken, "The Design of Embedded Real-Time Systems using the SEA Environment," in Proc. of the 5th Annual Australasian Conference on Parallel And Real-Time Systems (PART '98), Adelaide, Australia, September 1998.
16. D. Schmelter, "Play-In und Play-Out von Szenarien von Component-Tools," Bachelor thesis (in German), Department of Computer Science, University of Paderborn, November 2005.
17. A. Scholand, "Steuerungssynthese für komponentenbasierte Systeme unter partieller Sichtbarkeit," Master thesis (in German), Department of Computer Science, University of Paderborn, April 2006 (in preparation).
18. A. Schürr, "Specification of graph translators with triple graph grammars," in Graph-Theoretic Concepts in Computer Science, 20 th International Workshop, WG '94, ser. LNCS, E. W. Mayr, G. Schmidt, and G. Tinhofer, Eds., vol. 903, Herrsching, Germany, June 1995, pp. 151-163.
19. Tecnomatix Technologies Ltd., "eMPower Solutions," http://www.tecnomatix.com/.
20. D. Varró, G. Varró, and A. Pataricza, "Designing the automatic transformation of visual languages," Science of Computer Programming, vol. 44, no. 2, pp. 205-227, August 2002.
21. M. Weber and E. Kindler, "The Petri Net Kernel," in Petri Net Technologies for Modeling Communication Based Systems, ser. LNCS, H. Ehrig, W. Reisig, G. Rozenberg, and H. Weber, Eds. Springer, 2003, vol. 2472, pp. 109-123.
22. E. D. Willink, "UMLX: A graphical transformation language for MDA," in MDAFA '03. Entschede, Netherlands: University of Twente, September 2003, pp. 13-24.
23. W3C, "XSL Transformations (XSLT) Version 1.0," November 1999. [Online]. Available: http://www.w3.org/TR/xslt
24. M. Zarbock, "Ermittlung von Fehlerursachen in Prduktionsanalgen, " Master thesis (in German), Department of Computer Science, University of Paderborn, July 2006 (in preparation).