{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:15:14Z","timestamp":1725455714158},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540638117"},{"type":"electronic","value":"9783540696513"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0025038","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T02:56:54Z","timestamp":1132369014000},"page":"108-122","source":"Crossref","is-referenced-by-count":1,"title":["Modelling of concurrent and embedded systems"],"prefix":"10.1007","author":[{"given":"Uwe","family":"Gl\u00e4sser","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"J.-R. Abrial, E. B\u00f6rger, and H. Langmaack, editors. Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, volume 1165 of LNCS (State-of-the-Art Survey). Springer-Verlag, 1996.","DOI":"10.1007\/BFb0027227"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Ch. Beierle, E. B\u00f6rger, I. Durdanovi\u0107, U. Gl\u00e4sser, and E. Riccobene. Refining abstract machine specifications of the steam boiler control to well documented executable code. In J.-R. Abrial, E. B\u00f6rger, and H. Langmaack, editors, Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, volume 1165 of LNCS (State-of-the-Art Survey), pages 52\u201378. Springer-Verlag, 1996.","DOI":"10.1007\/BFb0027231"},{"key":"9_CR3","unstructured":"E. B\u00f6rger and U. Gl\u00e4sser. A formal specification of the PVM architecture. In B. Pehrson and 1. Simon, editors, Proc. of the IFIP 13th World Computer Congress 1994, Volume I: Technology and Foundations, pages 402\u2013409. Elsevier Science Publishers B. V., 1994."},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"E. B\u00f6rger, U. Gl\u00e4sser, and W. Mueller. Formal definition of an abstract VHDL'93 simulator by EA-machines. In C. Delgado Kloos and P.T. Breuer, editors, Semantics of VHDL, volume 307 of The Kluwer International Series in Engineering and Computer Science. Kluwer Academic Publishers, 1995.","DOI":"10.1007\/978-1-4615-2237-9_5"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Egon B\u00f6rger. Why use evolving algebras for hardware and software engineering. In Proc, of SOFSEM'95, volume 1012 of LNCS, pages 236\u2013271. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60609-2_12"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Maria Brielmann. Modelling differential equations by basic information technology means. In R. Moreno-D\u00edaz F. Pichler and R. Albrecht, editors, Computer Aided Systems Theory-EUROCAST'95 (Proc. of the Fifth International Workshop on Computer Aided Systems Theory), volume 1030 of LNCS, pages 163\u2013174. Springer-Verlag, 1996.","DOI":"10.1007\/BFb0034758"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"T. Lindner C. Lewerentz, editor. Formal Development of Reactive Systems, volume 891 of Lecture Notes in Computer Science. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-58867-1"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"G. Del Castillo, I. Durdanovi\u0107 and U. Gl\u00e4sser. An evolving algebra abstract machine. In H. Kleine B\u00fcning, editor, Computer Science Logic, volume 1092 of LNCS, pages 191\u2013214. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61377-3_39"},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","volume":"13","author":"H. J. Genrich","year":"1981","unstructured":"H. J. Genrich and K. Lautenbach. System modelling with high-level Petri nets. In Theoretical Computer Science, volume 13, pages 109\u2013136. North-Holland, 1981.","journal-title":"Theoretical Computer Science"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Hartmann J. Genrich. Predicate\/Transition nets. In W. Brauer, W. Reisig, and G. Rozenberg, editors, Petri Nets: Central Models and Their Properties, volume 254 of Lecture Notes in Computer Science, pages 207\u2013247. Springer-Verlag, 1986.","DOI":"10.1007\/978-3-540-47919-2_9"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Hartmann J. Genrich. Equivalence transformations of Pr\/T-nets. In Grzegorz Rozenberg, editor, Advances in Petri Nets 1989, volume 424 of Lecture Notes in Computer Science, pages 179\u2013208. Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52494-0_30"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Y. Gurevich and J. Huggins. The railroad crossing problem: An experiment with instantaneous actions and immediate reactions. In H. Kleine B\u00fcning, editor, Computer Science Logic, volume 1092 of LNCS, pages 266\u2013290. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61377-3_43"},{"key":"9_CR13","unstructured":"Yuri Gurevich. Evolving Algebra 1993: Lipari Guide. In E. B\u00f6rger, editor, Specification and Validation Methods, pages 9\u201336. Oxford University Press, 1995."},{"key":"9_CR14","unstructured":"Jim Huggins. Kermit: Specification and verification. In E. B\u00f6rger, editor, Specification and Validation Methods. Oxford University Press, 1995."},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"B. Kleinjohann, E. Kleinjohann, and J. Tacken. The SEA language for system engineering and animation. In Applications and Theory of Petri Nets, volume 1091 of LNCS. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61363-3_17"},{"key":"9_CR16","unstructured":"F. Pichler, H. Schw\u00e4rtzel, and R. Moreno-D\u00edaz. System Science and Systems Technology: From conceptual frameworks to applicable solutions. In Proceedings of the Fourth International Workshop on Computer Aided Systems Technology (Ottawa, Ont., May 16\u201320), 1994."},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Franz Pichler. Systems theory and engineering. In F. Pichler and R. Moreno-D\u00edaz, editors, Computer Aided Systems Theory \u2014 EUROCAST'93, LNCS 763, pages 2\u201310. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-57601-0_36"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Franz J. Rammig. Modelling aspects of system level design. In Proc. EURO-DAC '93, pages 534\u2013539. IEEE, 1993.","DOI":"10.1109\/EURDAC.1993.410688"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory \u2014 EUROCAST'97"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0025038","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T21:39:00Z","timestamp":1586554740000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0025038"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540638117","9783540696513"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0025038","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}