{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,24]],"date-time":"2025-03-24T04:03:19Z","timestamp":1742788999082,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642284861"},{"type":"electronic","value":"9783642284878"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28487-8_4","type":"book-chapter","created":{"date-parts":[[2012,3,14]],"date-time":"2012-03-14T07:34:34Z","timestamp":1331710474000},"page":"33-42","source":"Crossref","is-referenced-by-count":1,"title":["Temporal Reasoning in Multi-agent Workflow Systems Based on Formal Models"],"prefix":"10.1007","author":[{"given":"Fu-Shiung","family":"Hsieh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jim-Bon","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Decker, K., Li, J.: Coordinated hospital patient scheduling. In: International Conference on Multi Agent Systems, Paris, July 3-7, pp. 104\u2013111 (1998)","DOI":"10.1109\/ICMAS.1998.699038"},{"key":"4_CR2","first-page":"813","volume":"31","author":"E. Kutanoglu","year":"1999","unstructured":"Kutanoglu, E., David Wu, S.: On combinatorial auction and Lagrangean relaxation for distributed resource scheduling. IIE Transactions\u00a031, 813\u2013826 (1999)","journal-title":"IIE Transactions"},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/S0933-3657(00)00060-9","volume":"20","author":"A. Oddi","year":"2000","unstructured":"Oddi, A., Cesta, A.: Toward interactive scheduling systems for managing medical resources. Artificial Intelligence in Medicine\u00a020, 113\u2013138 (2000)","journal-title":"Artificial Intelligence in Medicine"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Daknou, A., Zgaya, H., Hammadi, S., Hubert, H.: A dynamic patient scheduling at the emergency department in hospitals. In: IEEE Workshop on Health Care Management, Venice, February 18-20, pp. 1\u20136 (2010)","DOI":"10.1109\/WHCM.2010.5441267"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/S0933-3657(00)00059-2","volume":"20","author":"C.D. Spyropoulos","year":"2000","unstructured":"Spyropoulos, C.D.: AI planning and scheduling in the medical hospital environment. Artificial Intelligence in Medicine\u00a020, 101\u2013111 (2000)","journal-title":"Artificial Intelligence in Medicine"},{"key":"4_CR6","volume-title":"Artificial Intelligence: A New Synthesis","author":"N.J. Nilsson","year":"1998","unstructured":"Nilsson, N.J.: Artificial Intelligence: A New Synthesis. Morgan Kaufmann Publishers, Inc., SanFrancisco (1998)"},{"key":"4_CR7","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)"},{"issue":"1","key":"4_CR8","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1109\/69.43404","volume":"1","author":"E.H. Durfee","year":"1989","unstructured":"Durfee, E.H., Lesser, V.R., Corkill, D.D.: Trends in cooperative distributed problem solving. IEEE Transactions on Knowledge and Data Engineering\u00a01(1), 63\u201383 (1989)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"4_CR9","unstructured":"Russel, S.J., Norvig, P.: Artificial Intelligence\u2014A Modern Approach, 2nd edn. Pearson Education Asia Limited (2006)"},{"key":"4_CR10","unstructured":"Workflow Management Coalition, XPDL support and resources (2009), http:\/\/www.wfmc.org\/xpdl.html"},{"key":"4_CR11","unstructured":"Object Management Group, Business process modeling notation (2009), http:\/\/www.bpmn.org"},{"key":"4_CR12","unstructured":"OASIS, Web services business process execution language version 2.0 (2009), http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpel-v2.0-OS.html"},{"issue":"9","key":"4_CR13","doi-asserted-by":"publisher","first-page":"1036","DOI":"10.1109\/TCOM.1976.1093424","volume":"24","author":"P. Merlin","year":"1976","unstructured":"Merlin, P., Farbor, D.: Recoverability of communication protocols. IEEE Trans. on Communications\u00a024(9), 1036\u20131043 (1976)","journal-title":"IEEE Trans. on Communications"},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"1104","DOI":"10.1109\/TC.1980.1675516","volume":"29","author":"R.G. Smith","year":"1980","unstructured":"Smith, R.G.: The Contract net protocol: high-level communication and control in a distributed problem solver. IEEE Transactions on Computers\u00a029, 1104\u20131113 (1980)","journal-title":"IEEE Transactions on Computers"},{"issue":"4","key":"4_CR15","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"4_CR16","unstructured":"Berthomieu, B., Menasche, M.: An Enumerative Approach for Analyzing Time Petri Nets. In: Proc. Ninth International Federation of Information Processing (IFIP) World Computer Congress, vol.\u00a09, pp. 41\u201346 (September 1983)"},{"issue":"6","key":"4_CR17","doi-asserted-by":"publisher","first-page":"1462","DOI":"10.1109\/21.135689","volume":"21","author":"S.E. Conry","year":"1991","unstructured":"Conry, S.E., Kuwabara, K., Lesser, V.R., Meyer, R.A.: Multistage negotiation for distributed constraint satisfaction. IEEE Transactions on Systems, Man and Cybernetics\u00a021(6), 1462\u20131477 (1991)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics"}],"container-title":["Lecture Notes in Computer Science","Intelligent Information and Database Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28487-8_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,23]],"date-time":"2025-03-23T03:24:18Z","timestamp":1742700258000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28487-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642284861","9783642284878"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28487-8_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}