{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:51:34Z","timestamp":1725565894534},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540231356"},{"type":"electronic","value":"9783540278634"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27863-4_14","type":"book-chapter","created":{"date-parts":[[2010,9,16]],"date-time":"2010-09-16T16:51:50Z","timestamp":1284655910000},"page":"227-247","source":"Crossref","is-referenced-by-count":2,"title":["STOP \u2013 Specification Technique of Operational Processes"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Einer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","volume-title":"Basic Concepts, Analysis Methods and Practical Use","author":"K. Jensen","year":"1992","unstructured":"Jensen, K.: Coloured Petri Nets. In: Basic Concepts, Analysis Methods and Practical Use, vol.\u00a01, Springer, Heidelberg (1992)"},{"key":"14_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-90879-7","volume-title":"Methoden der Automatisierung","author":"E. Schnieder","year":"1999","unstructured":"Schnieder, E.: Methoden der Automatisierung. Vieweg, Braunschweig (1999)"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-40022-6_17","volume-title":"Petri Net Technology for Communication-Based Systems","author":"E. Schnieder","year":"2003","unstructured":"Schnieder, E., Chouikha, M., Einer, S., Meyer zu H\u00f6rste, M.: BASYSNET \u2013 An Integrated Approach for Automated Control System Development. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol.\u00a02472, Springer, Heidelberg (2003)"},{"key":"14_CR4","unstructured":"Einer, S.: Ein Strukturierungsansatz f\u00fcr formale Techniken. In: Schnieder, E. (ed.): EKA 2003 \u2013 Entwurf komplexer Automatisierungssysteme, Institut f\u00fcr Verkehrssicherheit und Automatisierungstechnik, TU Braunschweig, Braunschweig (2003)"},{"key":"14_CR5","unstructured":"Einer, S.: Petrinetzbasierte Spezifikation und Analyse operationaler Prozesse am Beispiel Eisenbahnsicherung. Fortschritt \u2013 Berichte VDI, Reihe 20, Nr. 373, VDI-Verlag D\u00fcsseldorf (2003)"},{"key":"14_CR6","unstructured":"ITU-T SG 10: MSC 2000, Recomendation Z.120 : Message Sequence Charts (MSC). ITU General Secretariat, Geneva (1999)"},{"key":"14_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-09758-8","volume-title":"Requirements Engineering systematisch","author":"H. Partsch","year":"1998","unstructured":"Partsch, H.: Requirements Engineering systematisch. Springer, Heidelberg (1998)"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Starke, P.H.: Analyse von Petri-Netz-Modellen. Teubner Verlag (1990)","DOI":"10.1007\/978-3-663-09262-9"},{"key":"14_CR9","unstructured":"Kluge, O.: Compositional Semantics for Message Sequence Charts based on Petri Nets. Fakult\u00e4t IV \u2013 Elektrotechnik und Informatik der Technischen Universit\u00e4t Berlin (2000)"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Zacher, S. (ed.): Automatisierungstechnik kompakt Vieweg Verlag (2000)","DOI":"10.1007\/978-3-663-16317-6"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Schnieder, E.: Prozessinformatik. Vieweg Verlag (1986)","DOI":"10.1007\/978-3-322-86171-9"},{"key":"14_CR12","unstructured":"Heidepriem, J.: Prozessinformatik. Oldenbourg-Verlag (2000)"},{"key":"14_CR13","unstructured":"Balzer, D., May, V., M\u00fcller, R., Schulze, K.-P.: Wissensbasierte Systeme in der Automatsierungstechnik. Carl-Hanser Verlag (1992)"},{"key":"14_CR14","unstructured":"DIN 19222: Leittechnik; Begriffe. Beuth Verlag (1985)"},{"key":"14_CR15","unstructured":"Litz, L.: Grundlagen der sicherheitsgerichteten Automatisierungstechnik. \u00dcbersichtsaufsatz in: at \u2013 Automatisierungstechnik 46 (1998) 2, R. Oldenbourg Verlag (1998)"},{"key":"14_CR16","unstructured":"Grams, T.: Grundlagen des Qualit\u00e4ts- und Risikomanagements. Vieweg-Verlag (2001)"},{"key":"14_CR17","unstructured":"Ropohl, G.: Allgemeine Technologie \u2013 Eine Systemtheorie der Technik. Hanser (1999)"},{"key":"14_CR18","unstructured":"van Schrick, L.: Entepetives Management \u2013 Konstrukt, Konstruktion, Konzeption. Habilitationsschrift, Fachbereich Sicherheitstechnik der Bergischen Universit\u00e4t-Gesamthochschule Wuppertal (2001)"},{"key":"14_CR19","unstructured":"http:\/\/www.daimi.au.dk\/designCPN\/"}],"container-title":["Lecture Notes in Computer Science","Integration of Software Specification Techniques for Applications in Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27863-4_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T22:37:04Z","timestamp":1558305424000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27863-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540231356","9783540278634"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27863-4_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}