{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T19:41:11Z","timestamp":1725478871001},"publisher-location":"Boston, MA","reference-count":8,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387393612"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-0-387-39362-9_26","type":"book-chapter","created":{"date-parts":[[2007,1,28]],"date-time":"2007-01-28T00:17:58Z","timestamp":1169943478000},"page":"245-254","source":"Crossref","is-referenced-by-count":1,"title":["Model-Based Analysis of a Windmill Communication System"],"prefix":"10.1007","author":[{"given":"Simon","family":"Tjell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","unstructured":"Vestas wind systems, http:\/\/www.vestas.com."},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"David D. Clark. The design philosophy of the DARPA intemet protocols. In SIGCOMM, pages 106\u2013114, Stanford, CA, August 1988. ACM.","DOI":"10.1145\/52325.52336"},{"key":"26_CR3","doi-asserted-by":"crossref","first-page":"342","DOI":"10.1007\/3-540-53863-1_31","volume":"483","author":"K. Jensen","year":"1991","unstructured":"Kurt Jensen. Coloured petri nets: A high level language for system design and analysis. Lecture Notes in Computer Science; Advances in Petri Nets 1990, 483:342\u2013416, 1991. Newsletterlnfo: 39.","journal-title":"Advances in Petri Nets 1990"},{"key":"26_CR4","first-page":"251","volume-title":"A comparison of hard-state and softstate signaling protocols","author":"P. Ji","year":"2003","unstructured":"Ping Ji, Zihui Ge, Jim Kurose, and Don Towsley. A comparison of hard-state and softstate signaling protocols. In SIGCOMM\u2019 03: Proceedings of the 2003 conference on Applications, technologies, architectures, and protocols for computer communications, pages 251\u2013262, New York, NY, USA, 2003. ACM Press."},{"key":"26_CR5","unstructured":"R. Greg Lavender and Douglas C. Schmidt. Active object: an object behavioral pattern for concurrent programming, pages 483\u2013499, 1996."},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"Suchitra Raman and Steven McCanne. A model, analysis, and protocol framework for soft state-based communication. In SIGCOMM, pages 15\u201325, 1999.","DOI":"10.1145\/316194.316202"},{"key":"26_CR7","unstructured":"Simon Tjell. Modeling and analysis of a communication protocol for windmills (Danish only). Master\u2019s thesis, University of Aarhus, 2005. (http:\/\/daimi.au.dk\/-tjell\/thesis.pdf)."},{"key":"26_CR8","unstructured":"M.E. Villapol and J. Billington. Modelling and initial analysis of the resource reservation protocol using coloured petri nets. In Proc. Of the Workshop on Practical Use of High-Level Petri Nets, within the 21st International Conference on Applications and Theory of PetriNets, pages 91\u2013110, 2000."}],"container-title":["IFIP International Federation for Information Processing","From Model-Driven Design to Resource Management for Distributed Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-39362-9_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T22:05:13Z","timestamp":1619561113000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-39362-9_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9780387393612"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-39362-9_26","relation":{},"subject":[]}}