{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T17:44:29Z","timestamp":1743097469459,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319587493"},{"type":"electronic","value":"9783319587509"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-58750-9_80","type":"book-chapter","created":{"date-parts":[[2017,5,12]],"date-time":"2017-05-12T11:43:36Z","timestamp":1494589416000},"page":"575-582","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Formalization Modeling of Maintenance Based on Agent"],"prefix":"10.1007","author":[{"given":"Shu-jie","family":"Tian","sequence":"first","affiliation":[]},{"given":"Bo","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Li","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Dan","family":"Xu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,5,13]]},"reference":[{"issue":"7","key":"80_CR1","doi-asserted-by":"publisher","first-page":"980","DOI":"10.1016\/j.ress.2007.06.001","volume":"93","author":"SP Chew","year":"2008","unstructured":"Chew, S.P., Dunnett, S.J., Andrews, J.D.: Phased mission modelling of systems with maintenance-free operating periods using simulated Petri nets. Reliab. Eng. Syst. Saf. 93(7), 980\u2013994 (2008)","journal-title":"Reliab. Eng. Syst. Saf."},{"issue":"6","key":"80_CR2","first-page":"711","volume":"37","author":"Y Yang","year":"2011","unstructured":"Yang, Y.: Modeling and analysis of collaborative maintenance process based on synthesis of Petri net. J. Beijing Univ. Aeronaut. Astronaut. 37(6), 711\u2013716 (2011)","journal-title":"J. Beijing Univ. Aeronaut. Astronaut."},{"key":"80_CR3","first-page":"025","volume":"11","author":"S Jiang","year":"2007","unstructured":"Jiang, S., Liu, P., Zhang, X.: Method of process-modeling in virtual maintenance based on petri net. J. Syst. Simul. 11, 025 (2007)","journal-title":"J. Syst. Simul."},{"issue":"3","key":"80_CR4","first-page":"328","volume":"27","author":"YP Zhang","year":"2004","unstructured":"Zhang, Y.P., Zhang, L., Wu, T.: The representation of different granular worlds: a quotient space. Chin. J. Comput. 27(3), 328\u2013333 (2004). Chinese Edition","journal-title":"Chin. J. Comput."},{"unstructured":"Vujosevic, R., Ianni, J.: A Taxonomy of Motion Models for Simulation and Analysis of Maintenance Tasks. Iowa Univ Iowa City Center for Computer Aided Design (1997)","key":"80_CR5"},{"issue":"2","key":"80_CR6","doi-asserted-by":"publisher","first-page":"156","DOI":"10.3901\/CJME.2003.02.156","volume":"16","author":"X Li","year":"2005","unstructured":"Li, X., Hao, J., Liu, H.: Design and realization of maintenance therblig model in virtual maintenance simulation. China Mech. Eng. 16(2), 156\u2013160 (2005)","journal-title":"China Mech. Eng."},{"issue":"11","key":"80_CR7","first-page":"1456","volume":"26","author":"HC Li","year":"2003","unstructured":"Li, H.C., Shi, M.L.: Workflow models and their formal descriptions. Chin. J. Comput. 26(11), 1456\u20131463 (2003). Chinese Edition","journal-title":"Chin. J. Comput."},{"issue":"1","key":"80_CR8","first-page":"42","volume":"32","author":"H Yan","year":"2003","unstructured":"Yan, H., Guo, R.: Research on formal description model of directional relationships. Acta Geodaetica Cartogr. Sin. 32(1), 42\u201346 (2003)","journal-title":"Acta Geodaetica Cartogr. Sin."},{"key":"80_CR9","volume-title":"Multi-agent systems an introduction to distributed artificial intelligence","author":"J Ferber","year":"1999","unstructured":"Ferber, J.: Multi-agent systems an introduction to distributed artificial intelligence. Addison-Wesley, Reading (1999)"},{"doi-asserted-by":"crossref","unstructured":"Wooldridge, M.J., Jennings, N.R., Kinny, D.: The Gaia methodology for agent-oriented analysis and design. Autonomous Agents and Multi-Agent Systems, vol. 3. Kluwer Academic Publishers, Netherlands, pp. 285\u2013312 (2000)","key":"80_CR10","DOI":"10.1023\/A:1010071910869"},{"unstructured":"Junhai, C.: Agent-based discrete event simulation modelling framework and its application study in system RMS modeling and simulation. A Doctor Dissertation of Armour Force Engineering Institute (2002)","key":"80_CR11"},{"key":"80_CR12","first-page":"008","volume":"11","author":"J Cao","year":"2004","unstructured":"Cao, J., Zhang, H., Xiong, G.: Formalization description method of agent behaviors for multi-agent simulation. Acta Simulata Systematica Sinica 11, 008 (2004)","journal-title":"Acta Simulata Systematica Sinica"},{"issue":"6","key":"80_CR13","first-page":"535","volume":"21","author":"W Huang","year":"2015","unstructured":"Huang, W., Tian, Z., Wang, C., et al.: Research and practice of ergonomic requirements and evaluation technology in manually controlled rendezvous and docking of spacecraft. Manned Spaceflight 21(6), 535\u2013544 (2015)","journal-title":"Manned Spaceflight"}],"container-title":["Communications in Computer and Information Science","HCI International 2017 \u2013 Posters' Extended Abstracts"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-58750-9_80","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T15:43:46Z","timestamp":1709826226000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-58750-9_80"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319587493","9783319587509"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-58750-9_80","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"13 May 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"HCI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Human-Computer Interaction","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Vancouver","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Canada","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 July 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 July 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"hci2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/2017.hci.international\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}