{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:54:39Z","timestamp":1725576879917},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540205388"},{"type":"electronic","value":"9783540400226"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-40022-6_17","type":"book-chapter","created":{"date-parts":[[2011,1,27]],"date-time":"2011-01-27T14:15:31Z","timestamp":1296137731000},"page":"352-362","source":"Crossref","is-referenced-by-count":4,"title":["BASYSNET \u2013 An Integrated Approach for Automated Control System Development"],"prefix":"10.1007","author":[{"given":"Eckehard","family":"Schnieder","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mourad","family":"Chouikha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Einer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael Meyer zu","family":"H\u00f6rste","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Boehm, B.: A spiral model of software devlopment and enhancement. IEEE Computer, 61\u201372 (May 1988)","DOI":"10.1109\/2.59"},{"key":"17_CR2","unstructured":"Chouikha, M., Meyer, M., Meyer zu H\u00f6rste, M., Schnieder, E.: Ans\u00e4tze f\u00fcr die Entwicklung von Eisenbahnleitsystemen auf der Basis von Petrinetzen. In: Schnieder, E. (ed.) FORMS 2000 - Formale Techniken f\u00fcr die die Eisenbahnsicherung, D\u00fcsseldorf, pp. 57\u201384. VDI-Verlag (2000) (in German)"},{"key":"17_CR3","unstructured":"Chouikha, M., Ober, B., Schnieder, E.: Model-based control synthesis for discrete event systems. In: Hamza, M. (ed.) IASTED Conference on Modelling and Simulation, Pittsburgh, PA, pp. 276\u2013280 (May 1998)"},{"issue":"6","key":"17_CR4","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1524\/auto.2001.49.6.280","volume":"49","author":"M. Chouikha","year":"2001","unstructured":"Chouikha, M., Schnieder, E., Ober, B.: Automatisierter Steuerungsentwurf f\u00fcr diskrete und kontinuierlich-diskrete Systeme. AT - Automatisierungstechnik\u00a049(6), 280\u2013286 (2001)","journal-title":"AT - Automatisierungstechnik"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Einer, S., Schnieder, E.: A petri net based modelling approach for operating methods in train control systems. In: IFAC Conference on Control Systems Design (CSD2000), Bratislava (Slovak Republik) (2000)","DOI":"10.1016\/S1474-6670(17)37201-4"},{"key":"17_CR6","unstructured":"Einer, S., Slovak, R., Schnieder, E.: Modelling train control systems with petrinets - an operational model. In: Systems, Man and Cybernetics, Nashville, USA, vol.\u00a010 (2000)"},{"key":"17_CR7","unstructured":"GMA Unterausschu\u00df 1.51 Standardisierte Beschreibungsmittel in der Automatisierungstechnik. Glossar (October 1996) (in German), http:\/\/www.ifra.ing.tu-bs.de\/gma181\/glossar.htm"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Janhsen, A., Lemmer, K., Ptok, B., Schnieder, E.: Modelling and simulation of new european train control system. In: IFAC Symposium on Transportation Systems, Chania (Greece) (1997)","DOI":"10.1016\/S1474-6670(17)43974-7"},{"key":"17_CR9","unstructured":"Jansen, L.: Referenzfallstudie Verkehrsleittechnik. Institut f\u00fcr Regelungs- und Automatisierunsgtechnik, Technischen Universit\u00e4t Braunschweig, Braunschweig (Germany) (1999) (in German), see: http:\/\/www.ifra.ing.tu-bs.de\/~m33\/spezi\/"},{"key":"17_CR10","unstructured":"Jansen, L., Meyer zu H\u00f6rste, M., Schnieder, E.: Technical Issues in Modelling the European Train Control System (etcs) using coloured Petrinets and the Design CPN Tools. In: Design CPN Users Conference, Aarhus (Denmark), pp. 103\u2013115 (1998)"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Meyer zu H\u00f6rste, M., Parthasarathy, S., Schnieder, E.: Notation, method, tool: A conceptual framework for the application of formal methods. In: 9th IFAC Symposium on Control in Transportation Systems, Braunschweig (Germany) (June 2000)","DOI":"10.1016\/S1474-6670(17)38133-8"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Meyer zu H\u00f6rste, M., Ptok, B., Schnieder, E., Schrom, H.: A case study for the automated system design: the satellite-based train control system. In: IFAC Conference on Control Systems Design (CSD2000), Bratislava (Slovak Republik) (2000)","DOI":"10.1016\/S1474-6670(17)37210-5"},{"key":"17_CR13","unstructured":"Meyer zu H\u00f6rste, M., Schnieder, E.: Modelling train control systems with petrinets - a functional model. In: Systems, Man and Cybernetics, Nashville, USA, vol.\u00a010 (2000)"},{"key":"17_CR14","unstructured":"Parthasarthy, S., Schnieder, E.: The explication problem: the achilles heel of formal methods. In: Entwicklung und Betrieb komplexer Automatisierungssysteme, EKA 1999, Braunschweig (Germany), pp. 93\u2013103 (May 1999)"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Schnieder, E.: Methoden der Automatisierung. Vieweg, Braunschweig (Germany) (1999) (in German)","DOI":"10.1007\/978-3-322-90879-7"},{"key":"17_CR16","unstructured":"Stein, W.: Object-Oriented Analysis Methods - Comparison, Evaluation and Choice. BI-Verlag, Mannheim (1993) (in German)"},{"key":"17_CR17","volume-title":"Modern Structured Analysis","author":"E. Yourdon","year":"1989","unstructured":"Yourdon, E.: Modern Structured Analysis. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"17_CR18","volume-title":"FMERail Workshop 3","author":"M. Meyer zu H\u00f6rste","year":"1999","unstructured":"Meyer zu H\u00f6rste, M.: Modelling and simulation of train control systems with petri nets. In: Bjorner, D. (ed.) FMERail Workshop 3, St. P\u00f6lten (Austria) (Febrary 1999), www.ifad.dk\/Projects\/FMERail\/proceedings3.htm"}],"container-title":["Lecture Notes in Computer Science","Petri Net Technology for Communication-Based Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40022-6_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T04:53:54Z","timestamp":1559969634000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40022-6_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205388","9783540400226"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40022-6_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}