{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T07:07:57Z","timestamp":1794380877156,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540219880","type":"print"},{"value":"9783540246794","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24679-4_168","type":"book-chapter","created":{"date-parts":[[2010,9,10]],"date-time":"2010-09-10T14:04:40Z","timestamp":1284127480000},"page":"1008-1011","source":"Crossref","is-referenced-by-count":1,"title":["Formalizing Web Service and Modeling Web Service-Based System Based on Object Oriented Petri Net"],"prefix":"10.1007","author":[{"given":"Xiaofeng","family":"Tao","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Changjun","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"168_CR1","unstructured":"Chinnici, R., Gudgin, M., et al.: Web Services Description Language (WSDL) Version 1.2 Part 1: Core Language (2003), \n                    \n                      http:\/\/www.w3.org\/TR\/wsdl12\/#Service"},{"key":"168_CR2","unstructured":"Tao, X.F., Jiang, C.J., Duan, J.T.: Construction of a Kind of Object-Oriented Petri Net and its Application. Mechanical Science and Technology\u00a022(5) (2003)"},{"key":"168_CR3","unstructured":"Andrews, T., Curbera, F., Dholakia, H., et al.: Specification: Business Process Execution Language for Web Services Version 1.1 (2003), \n                    \n                      http:\/\/www-106.ibm.com\/developerworks\/library\/ws-bpel"},{"key":"168_CR4","unstructured":"Hamadi, R., Benatallah, B.: A Petri Net-based Model for Web Service Composition. In: Proc. Fourteenth Australasian Database Conference (ADC 2003), vol.\u00a017 (2003)"},{"issue":"4","key":"168_CR5","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"M. Tadao","year":"1989","unstructured":"Tadao, M.: Petri Nets: Properties,Analysis and Applications. Proceeding of IEEE\u00a077(4), 541\u2013560 (1989)","journal-title":"Proceeding of IEEE"}],"container-title":["Lecture Notes in Computer Science","Grid and Cooperative Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24679-4_168.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,2]],"date-time":"2021-05-02T23:01:38Z","timestamp":1619996498000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24679-4_168"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540219880","9783540246794"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24679-4_168","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/b97162","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}