{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:33:16Z","timestamp":1725564796370},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540219934"},{"type":"electronic","value":"9783540246800"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24680-0_94","type":"book-chapter","created":{"date-parts":[[2010,9,8]],"date-time":"2010-09-08T22:50:22Z","timestamp":1283986222000},"page":"581-589","source":"Crossref","is-referenced-by-count":1,"title":["Grid Service Semigroup and Its Workflow Model"],"prefix":"10.1007","author":[{"given":"Yu","family":"Tang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haifang","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kaitao","family":"He","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luo","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ning","family":"Jing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"94_CR1","unstructured":"Foster, Kesselman, C., et al.: The Physiology of the Grid: An Open Grid Services Architecture for Distributed Systems Integration (June 2002), See \n                    \n                      http:\/\/www.gridforum.org\/ogsiwg\/drafts\/ogsa_draft2.9_2002-06-22.pdf"},{"key":"94_CR2","unstructured":"Tuecke, S., Czajkowski, K., et al.: Grid Service Specification. Open Grid Service Infrastructure WG, Global Grid Forum, Draft 2 (July 2002), See \n                    \n                      http:\/\/www.globus.org"},{"key":"94_CR3","volume-title":"Graph Theory and Algebra Structure","author":"Y.Q. Dai","year":"1999","unstructured":"Dai, Y.Q., Hu, G.Z., Chen, W.: Graph Theory and Algebra Structure. Tsinghua University Press, Beijing (1999) (in Chinese)"},{"key":"94_CR4","unstructured":"Hollingsworth, D.: Workflow Management Coalition: The Workflow Reference Model. Document Number WFMC-TC00-1003, Brussels (1994)"},{"issue":"4","key":"94_CR5","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":"94_CR6","volume-title":"Petri Net Theory and the Modeling of Systems","author":"J. Peterson","year":"1981","unstructured":"Peterson, J.: Petri Net Theory and the Modeling of Systems. Prentice Hall, Englewood Cliffs (1981)"},{"volume-title":"Petri Net Theory","year":"1998","key":"94_CR7","unstructured":"Yuan, C.Y. (ed.): Petri Net Theory. Publishing House of Electronics Industry, Beijing (1998) (in Chinese)"},{"key":"94_CR8","volume-title":"Discrete Mathematics","author":"R. Johnsonbaugh","year":"1997","unstructured":"Johnsonbaugh, R.: Discrete Mathematics, 4th edn. Prentice Hall, Englewood Cliffs (1997)","edition":"4"},{"key":"94_CR9","doi-asserted-by":"publisher","first-page":"449","DOI":"10.4153\/CJM-1965-045-4","volume":"17","author":"J. Edmonds","year":"1965","unstructured":"Edmonds, J.: Path, trees, and flowers. Canadian J. Math.\u00a017, 449\u2013467 (1965)","journal-title":"Canadian J. Math."},{"key":"94_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/3-540-65306-6_19","volume-title":"Lectures on Petri Nets I: Basic Models","author":"M. Silva","year":"1998","unstructured":"Silva, M., Teruel, E., Colom, J.M.: Linear algebraic and linear programming techniques for the analysis of place\/transition net systems. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol.\u00a01491, pp. 309\u2013373. Springer, Heidelberg (1998)"},{"issue":"2","key":"94_CR11","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/s101140200171","volume":"30","author":"T. Liu","year":"2002","unstructured":"Liu, T., Lin, C., Liu, W.D.: Linear Temporal Inference of Workflow Management System Based on Timed Petri Net Models. ACTA ELECTRONICA SINICA\u00a030(2), 245\u2013248 (2002) (in Chinese)","journal-title":"ACTA ELECTRONICA SINICA"}],"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-24680-0_94.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:02:48Z","timestamp":1620010968000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24680-0_94"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540219934","9783540246800"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24680-0_94","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}