{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:54:12Z","timestamp":1725537252321},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1109\/acsd.2008.4574593","type":"proceedings-article","created":{"date-parts":[[2010,12,8]],"date-time":"2010-12-08T09:27:32Z","timestamp":1291800452000},"page":"39-44","source":"Crossref","is-referenced-by-count":2,"title":["Closed loop state space analysis and simulation for Cognitive Systems"],"prefix":"10.1109","author":[{"given":"Hendrik","family":"Oberheid","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dennis","family":"Gamrad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dirk","family":"Soffker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Kognitive Modellierung mit Farbigen Petrinetzen zur Analyse menschlichen Verhaltens","year":"2005","author":"werther","key":"13"},{"year":"0","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2007.4413883"},{"journal-title":"Automated Planning Theory and Practice","year":"2004","author":"ghallab","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30221-6_3"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/21.179844"},{"key":"10","article-title":"cooperative arrival management in air traffic control - a coloured petri net model of sequence planning","author":"oberheid","year":"2008","journal-title":"29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency"},{"year":"0","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/S0364-0213(81)80005-5"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-007-0038-x"},{"journal-title":"CPN Tools State Space Manual","year":"2006","author":"jensen","key":"4"},{"key":"9","article-title":"a model based approach to cognitive work analysis and work process design in air traffic control","author":"mo?hlenbrink","year":"2008","journal-title":"Annual Meeting of the Human Factors and Ergonomics Society Europe Chapter"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4022-9"}],"event":{"name":"2008 8th International Conference on Application of Concurrency to System Design","start":{"date-parts":[[2008,6,23]]},"location":"Xian, China","end":{"date-parts":[[2008,6,27]]}},"container-title":["2008 8th International Conference on Application of Concurrency to System Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4562770\/4574586\/04574593.pdf?arnumber=4574593","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T12:14:29Z","timestamp":1489752869000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4574593\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/acsd.2008.4574593","relation":{},"subject":[],"published":{"date-parts":[[2008]]}}}