{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:05:20Z","timestamp":1729616720463,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,10]]},"DOI":"10.1109\/icsmc.2009.5345910","type":"proceedings-article","created":{"date-parts":[[2009,12,10]],"date-time":"2009-12-10T14:44:31Z","timestamp":1260456271000},"page":"1263-1268","source":"Crossref","is-referenced-by-count":3,"title":["Reduction of complexity for the analysis of human-machine-interaction"],"prefix":"10.1109","author":[{"given":"Dennis","family":"Gamrad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dirk","family":"Soffker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"0","key":"15"},{"journal-title":"Petri Netze Grundlagen und Anwendungen","year":"1996","author":"baumgarten","key":"13"},{"journal-title":"Kommunikation mit Automaten","year":"1962","author":"petri","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1080\/13873950801983852"},{"article-title":"Development of high-level Petri Net Patterns for computeraided Simulation and Analysis of Situation-Operator-Models (In German)","year":"2006","author":"gamrad","key":"12"},{"journal-title":"Telerobotics Automation and Human Supervisory Control","year":"1974","author":"sheridan","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/b138667"},{"key":"1","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1524\/auto.2000.48.5.211","article-title":"Automatisierung bei der Fahrzeugfu?hrung im Strassenverkehr, at","volume":"48","author":"naab","year":"2000","journal-title":"Automatisierungstechnik"},{"key":"10","doi-asserted-by":"crossref","DOI":"10.21236\/AD0785031","author":"mccarthy","year":"1963","journal-title":"Situations Actions and Causal Laws"},{"year":"0","key":"7"},{"key":"6","first-page":"651","article-title":"Automated Detection of Human Errors based on Multiple Partial State Spaces","author":"gamrad","year":"2009","journal-title":"MATHMOD 2009 - 6th Vienna International Conference on Mathematical Modelling"},{"key":"5","article-title":"Understanding MMI from a system-theoretic view - Part I and Part II","author":"so?ffker","year":"2004","journal-title":"Proc 9th IFAC IFIP IFORS IEA Symp Analysis Design and Evaluation of Human-Machine Systems"},{"journal-title":"The Logic of Failure Recognizing and Avoiding Error in Complex Situations","year":"1997","author":"do?rner","key":"4"},{"journal-title":"CPN Tools State Space Manual","year":"2006","author":"jensen","key":"9"},{"key":"8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-60794-3","volume":"1 3","author":"jensen","year":"1997","journal-title":"Coloured Petri Nets Basic Concepts Analysis Methods and Practical Use"}],"event":{"name":"2009 IEEE International Conference on Systems, Man and Cybernetics. SMC 2009","start":{"date-parts":[[2009,10,11]]},"location":"San Antonio, TX","end":{"date-parts":[[2009,10,14]]}},"container-title":["2009 IEEE International Conference on Systems, Man and Cybernetics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5340904\/5345886\/05345910.pdf?arnumber=5345910","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T08:24:18Z","timestamp":1558686258000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5345910\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/icsmc.2009.5345910","relation":{},"subject":[],"published":{"date-parts":[[2009,10]]}}}