{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:40:52Z","timestamp":1725543652114},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540346999"},{"type":"electronic","value":"9783540347002"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11767589_3","type":"book-chapter","created":{"date-parts":[[2006,6,20]],"date-time":"2006-06-20T14:38:34Z","timestamp":1150814314000},"page":"37-56","source":"Crossref","is-referenced-by-count":2,"title":["Component Tools: Integrating Petri Nets with Other Formal Methods"],"prefix":"10.1007","author":[{"given":"Ekkart","family":"Kindler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vladimir","family":"Rubin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Wagner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Agrawal, A., Karsai, G., Kalmar, Z., Neema, S., Shi, F., Vizhanyo, A.: The design of a simple language for graph transformations. Journal in Software and System Modeling (2005) (in review)","DOI":"10.1007\/s10270-006-0027-7"},{"key":"3_CR2","unstructured":"Brooks Automation Corporate: AutoMod Suite, http:\/\/www.automod.com\/products\/products.asp"},{"key":"3_CR3","unstructured":"Czarnecki, K., Helsen, S.: Classification of model transformation approaches. In: OOPSLA 2003 Workshop on Generative Techniques in the Context of Model-Driven Architecture (2003)"},{"key":"3_CR4","unstructured":"Dangelmaier, W., Mueck, B., Laroque, C., Mahajan, K.R.: d3fact insight: A simulation-tool for multiresolution material flow models. In: Lipovszki, I., Gy\u00f6rgy, M. (eds.) Simulation in Industry - 16th European Simulation Symposium (ESS 2004) SCS, Europe, pp. 17\u201322 (2004)"},{"key":"3_CR5","unstructured":"FASTEC GmbH, Lontrol, http:\/\/www.fastec.de\/"},{"key":"3_CR6","unstructured":"Gepting, A., Greenyer, J., Kindler, E., Maas, A., Munkelt, S., Pales, C., Pivl, T., Rohe, O., Rubin, V., Sanders, M., Scholand, A., Wagner, C., Wagner, R.: 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\u201342 (2004)"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Giese, H., Kindler, E., Klein, F., Wagner, R.: Reconciling scenario-centered controller design with state-based system models. In: 4th International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM 2005), Satellite event of ICSE 2005 (May 2005)","DOI":"10.1145\/1083183.1083187"},{"key":"3_CR8","unstructured":"Greenyer, J.: 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)"},{"key":"3_CR9","unstructured":"Greenyer, J.: A study of technologies for model transformation: Reconciling TGGs with QVT. Master thesis, Department of Computer Science, University of Paderborn (July 2006) (in preparation)"},{"key":"3_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19029-2","volume-title":"Come let\u2019s play: Scenario-based programming using LSCs and the Play-engine","author":"D. Harel","year":"2003","unstructured":"Harel, D., Marelly, R.: Come let\u2019s play: Scenario-based programming using LSCs and the Play-engine. Springer, Heidelberg (2003)"},{"key":"3_CR11","unstructured":"Kindler, E., Nillies, F.: Petri nets and the real world. In: Schmidt, K., Stahl, C. (eds.) AWPN workshop 2005, proceedings, Berlin, Germany, September 2005, pp. 19\u201324 (2005)"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"464","DOI":"10.1007\/978-3-540-27793-4_27","volume-title":"Applications and Theory of Petri Nets 2004","author":"E. Kindler","year":"2004","unstructured":"Kindler, E., P\u00e1les, C.: 3D-visualization of Petri net models: Concept and realization. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol.\u00a03099, pp. 464\u2013473. Springer, Heidelberg (2004)"},{"key":"3_CR13","unstructured":"Kindler, E., Rubin, V., Wagner, R.: An adaptable TGG interpreter for in-memory model transformation. In: Proc. of the Fujaba Days 2004, Darmstadt, Germany, September 2004, pp. 35\u201338 (2004)"},{"key":"3_CR14","unstructured":"OMG, Model Driven Architecture, http:\/\/www.omg.org\/mda\/"},{"key":"3_CR15","unstructured":"Rust, C., Stroop, J., Tacken, J.: 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 1998), Adelaide, Australia (September 1998)"},{"key":"3_CR16","unstructured":"Schmelter, D.: Play-In und Play-Out von Szenarien von Component-Tools. Bachelor thesis (in German), Department of Computer Science, University of Paderborn (November 2005)"},{"key":"3_CR17","unstructured":"Scholand, A.: Steuerungssynthese f\u00fcr komponentenbasierte Systeme unter partieller Sichtbarkeit. Master thesis (in German), Department of Computer Science, University of Paderborn (April 2006) (in preparation)"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/3-540-59071-4_45","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"A. Sch\u00fcrr","year":"1995","unstructured":"Sch\u00fcrr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol.\u00a0903, pp. 151\u2013163. Springer, Heidelberg (1995)"},{"key":"3_CR19","unstructured":"Tecnomatix Technologies Ltd., eMPower Solutions, http:\/\/www.tecnomatix.com\/"},{"issue":"2","key":"3_CR20","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/S0167-6423(02)00039-4","volume":"44","author":"D. Varr\u00f3","year":"2002","unstructured":"Varr\u00f3, D., Varr\u00f3, G., Pataricza, A.: Designing the automatic transformation of visual languages. Science of Computer Programming\u00a044(2), 205\u2013227 (2002)","journal-title":"Science of Computer Programming"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-540-40022-6_6","volume-title":"Petri Net Technology for Communication-Based Systems","author":"M. Weber","year":"2003","unstructured":"Weber, M., Kindler, E.: The Petri Net Kernel. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol.\u00a02472, pp. 109\u2013123. Springer, Heidelberg (2003)"},{"key":"3_CR22","first-page":"13","volume-title":"MDAFA 2003","author":"E.D. Willink","year":"2003","unstructured":"Willink, E.D.: UMLX: A graphical transformation language for MDA. In: MDAFA 2003, pp. 13\u201324. University of Twente, Entschede, Netherlands (2003)"},{"key":"3_CR23","unstructured":"W3C, XSL Transformations (XSLT) Version 1.0 (November 1999) [Online] Available: http:\/\/www.w3.org\/TR\/xslt"},{"key":"3_CR24","unstructured":"Zarbock, M.: Ermittlung von Fehlerursachen in Prduktionsanalgen. Master thesis (in German), Department of Computer Science, University of Paderborn (July 2006) (in preparation)"}],"container-title":["Lecture Notes in Computer Science","Petri Nets and Other Models of Concurrency - ICATPN 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11767589_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,4]],"date-time":"2024-02-04T22:22:56Z","timestamp":1707085376000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11767589_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540346999","9783540347002"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11767589_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}