{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T12:08:41Z","timestamp":1759147721847},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540643593"},{"type":"electronic","value":"9783540697565"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-64359-1_761","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:41:24Z","timestamp":1330281684000},"page":"953-962","source":"Crossref","is-referenced-by-count":0,"title":["Object nets for the design and verification of distributed and embedded applications"],"prefix":"10.1007","author":[{"given":"J\u00fcrgen","family":"N\u00fctzel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd","family":"D\u00e4ne","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Fengler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"98_CR1","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, David: Statecharts: A visual formalism for complex systems, Science of Computer Programming, Vol. 8, p. 231\u2013274, 1987","journal-title":"Science of Computer Programming"},{"key":"98_CR2","unstructured":"Daimler-Benz: The Mercedes-Benz Homepage, 1998: http:\/\/www.mercedes-benz.com\/"},{"key":"98_CR3","unstructured":"N\u00fctzel, J\u00fcrgen: Opntcl (Object Petri Nets based on Tcl) Homepage, 1998: http:\/\/www.theoinf.tu-ilmenau.de\/Opntcl\/"},{"key":"98_CR4","unstructured":"Ousterhout, John: Tcl and the Tk Toolkit, Addison-Weseley, 1994"},{"key":"98_CR5","unstructured":"Selic, B.; Gullekson, G.; Ward, P. T.: ROOM-Real-Time Object-Oriented Modelling, John Wiley & Sons, 1994"},{"key":"98_CR6","unstructured":"Unger, H.; B\u00e4ne, B.; N\u00fctzel, J.: Experiences Simulating the Load Sharing System LYDIA with High Level PN, HPC'98, Boston, April 1998"}],"container-title":["Lecture Notes in Computer Science","Parallel and Distributed Processing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-64359-1_761.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:45:32Z","timestamp":1619559932000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-64359-1_761"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643593","9783540697565"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-64359-1_761","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}