{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T03:00:04Z","timestamp":1742958004474,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642406744"},{"type":"electronic","value":"9783642406751"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-40675-1_75","type":"book-chapter","created":{"date-parts":[[2013,8,19]],"date-time":"2013-08-19T12:12:46Z","timestamp":1376914366000},"page":"501-508","source":"Crossref","is-referenced-by-count":0,"title":["A Probabilistic Timing Constraint Modeling and Functional Validation Approach to Dynamic Service Composition for LBS"],"prefix":"10.1007","author":[{"given":"Weimin","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaohua","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiulei","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaokang","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qun","family":"Jin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"75_CR1","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1109\/3477.790440","volume":"29","author":"J. Cardoso","year":"1999","unstructured":"Cardoso, J., Valette, R., et al.: Possibilistic Petri Nets. IEEE Transaction on Systems, Man, and Cybernetics-Part B\u00a029(5), 573\u2013581 (1999)","journal-title":"IEEE Transaction on Systems, Man, and Cybernetics-Part B"},{"issue":"5","key":"75_CR2","first-page":"818","volume":"E83-A","author":"Q. Jin","year":"2000","unstructured":"Jin, Q., Vidale, R.F., Sugasawa, Y.: Optimum Order Time for a Spare Part Inventory System Modeled by a Non-Regenerative Stochastic Petri Net. IEICE Trans. Fundamentals\u00a0E83-A(5), 818\u2013827 (2000)","journal-title":"IEICE Trans. Fundamentals"},{"issue":"1","key":"75_CR3","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1109\/32.341845","volume":"21","author":"J.J.P. Tsai","year":"1995","unstructured":"Tsai, J.J.P., Yang, S.J.: Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications. IEEE Transaction on Software Engineering\u00a021(1), 32\u201349 (1995)","journal-title":"IEEE Transaction on Software Engineering"},{"key":"75_CR4","doi-asserted-by":"crossref","unstructured":"Feng, L., Jiang, H.: Analysis of Workflow Schedulability Based on Time Constraint Petri Nets. In: Proc. 10th International Conference on Computer Supported Cooperative Work in Design, pp. 1\u20135 (2006)","DOI":"10.1109\/CSCWD.2006.253065"},{"key":"75_CR5","doi-asserted-by":"crossref","unstructured":"Yu, R., Huang, Z., et al.: Modeling and Analyzing Project Performance with Timing Constraint Petri Net. In: Proc. ICCET 2009, vol. 2, pp. 243\u2013246 (2009)","DOI":"10.1109\/ICCET.2009.32"},{"key":"75_CR6","unstructured":"Tsai, J.J.-P., Yang, S.J.H., Chang, Y.-H.: Schedulability analysis of real-time systems using timing constraint Petri nets. In: Proc. CDMP 1993, pp. 375\u2013382 (1993)"},{"key":"75_CR7","doi-asserted-by":"crossref","unstructured":"Hao, J., Sun, Z.-J.: The TCPN-Based Verification of Temporal Consistency in Web Service Process. In: Proc. ICEBE 2006 (IEEE International Conference on e-Business Engineering), pp. 302\u2013306 (2006)","DOI":"10.1109\/ICEBE.2006.100"},{"key":"75_CR8","unstructured":"Tsai, J.J.-P., Yang, S.J., Chang, Y.-H., Juan, E.Y.T.: Verifying timing properties for distributed real-time systems using timing constraint Petri nets. In: Proc. COMPSAC 1996, pp. 36\u201340 (1996)"}],"container-title":["Lecture Notes in Electrical Engineering","Mobile, Ubiquitous, and Intelligent Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40675-1_75","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T14:23:33Z","timestamp":1676816613000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-40675-1_75"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642406744","9783642406751"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40675-1_75","relation":{},"ISSN":["1876-1100","1876-1119"],"issn-type":[{"type":"print","value":"1876-1100"},{"type":"electronic","value":"1876-1119"}],"subject":[],"published":{"date-parts":[[2014]]}}}