{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T07:56:06Z","timestamp":1725695766387},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540531630"},{"type":"electronic","value":"9783642843044"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/978-3-642-84304-4_12","type":"book-chapter","created":{"date-parts":[[2012,7,28]],"date-time":"2012-07-28T23:48:34Z","timestamp":1343519314000},"page":"130-142","source":"Crossref","is-referenced-by-count":0,"title":["Architekturentwurf f\u00fcr nebenl\u00e4ufige, funktionssichere Steuerungen"],"prefix":"10.1007","author":[{"given":"Georg","family":"Klein-He\u00dfling","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manfred","family":"Sch\u00e4fer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","volume-title":"\u201cCooperating Sequential Processes\u201d, F. Genuys (Editor), Pro gamming Languages","author":"E Dijkstra","year":"1968","unstructured":"Dijkstra, E.: \u201cCooperating Sequential Processes\u201d, F. Genuys (Editor), Pro gamming Languages, Academic Press, New York, 1968"},{"key":"12_CR2","unstructured":"Hack, M.: \u201cAnalysis of Production Schemata by Petri Nets\u201d, Master\u2019s Thesis, De\u00adpart. of. Electr. Engineering, Massachusetts Institute of Technology, Cambridge, Massachusetts, 1972"},{"key":"12_CR3","volume-title":"\u201cEine Beschreibungssprache zum strukturierten Entwurf von komple\u00adxen digitalen Steuerwerken mit Nachweis der Lebendigkeit\u201d, Dissertation, Insti\u00adtut f\u00a8r Technik der Informationsverarbeitung,Univ. Karlsruhe","author":"M Nolle","year":"1986","unstructured":"Nolle, M.: \u201cEine Beschreibungssprache zum strukturierten Entwurf von komple\u00adxen digitalen Steuerwerken mit Nachweis der Lebendigkeit\u201d, Dissertation, Insti\u00adtut f\u00a8r Technik der Informationsverarbeitung, Univ. Karlsruhe, Fortschrittbe\u00adrichte VDI-Verlag, D\u00a8sseldorf, 1986"},{"key":"12_CR4","volume-title":"Computation Structures Group Memo","author":"S Patil","year":"1971","unstructured":"Patil, S.: \u201cLimitations and Capabilities of Dijkstra\u2019s Semaphore Primitives for Coordination Among Processes\u201d; Computation Structures Group Memo 57, Project MAC, Massachusetts Institute of Technology, Cambridge, Massachusetts , 1971"},{"key":"12_CR5","volume-title":"London","author":"L Peterson","year":"1981","unstructured":"Peterson, i. L. : \u201cPetri Net Theory and the Modeling of Systems\u201d; Prentice-Hall, London, 1981"},{"key":"12_CR6","unstructured":"Riddle, W.: \u201cThe Modeling and Analysis of Supervisory Systems\u201d, Ph. D. Thesis, Computer Science Department, Stanford University, California, 1972"},{"key":"12_CR7","volume-title":"\u201cEin Beschreibungsverfahren zum Entwurf digitaler Steuerungen f\u00a8r nebenl\u00e4ufige Vorg\u00e4nge\u201d, Dissertation","author":"K Thurn","year":"1982","unstructured":"Thurn, K.\u201cEin Beschreibungsverfahren zum Entwurf digitaler Steuerungen f\u00a8r nebenl\u00e4ufige Vorg\u00e4nge\u201d, Dissertation, Institut f\u00a8r Technik der Informationsver\u00adarbeitung, Univ. Karlsruhe, 1982"},{"key":"12_CR8","volume-title":"\u201cDer Entwurf von Steuerstrukturen f\u00a8r parallele Abl\u00e4ufe mit Hilfe von Petrinetzen\u201d, Dissertation","author":"G Ullrich","year":"1976","unstructured":"Ullrich, G.: \u201cDer Entwurf von Steuerstrukturen f\u00a8r parallele Abl\u00e4ufe mit Hilfe von Petrinetzen\u201d, Dissertation, Fakult\u00e4t f\u00a8r Informatik, Univ. Hamburg, 1976"}],"container-title":["Rechnergest\u00fctzter Entwurf und Architektur mikroelektronischer Systeme"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-84304-4_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,27]],"date-time":"2020-11-27T01:55:08Z","timestamp":1606442108000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-84304-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540531630","9783642843044"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-84304-4_12","relation":{},"subject":[],"published":{"date-parts":[[1990]]}}}