{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T05:04:08Z","timestamp":1740287048526,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540201755"},{"type":"electronic","value":"9783540399797"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"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":[[2003]]},"DOI":"10.1007\/978-3-540-39979-7_26","type":"book-chapter","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T18:52:22Z","timestamp":1277232742000},"page":"399-414","source":"Crossref","is-referenced-by-count":2,"title":["Decomposing Service Definition in Predicate\/Transition-Nets for Designing Distributed Systems"],"prefix":"10.1007","author":[{"given":"Hirozumi","family":"Yamaguchi","sequence":"first","affiliation":[]},{"given":"Gregor","family":"von Bochmann","sequence":"additional","affiliation":[]},{"given":"Teruo","family":"Higashino","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-60794-3","volume-title":"Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use","author":"K. Jensen","year":"1997","unstructured":"Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Springer, Heidelberg (1997)"},{"issue":"5","key":"26_CR2","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/242896.242900","volume":"26","author":"K. Saleh","year":"1996","unstructured":"Saleh, K.: Synthesis of Communication Protocols: an Annotated Bibliography. ACM SIGCOMM Computer Communication Review\u00a026(5), 40\u201359 (1996)","journal-title":"ACM SIGCOMM Computer Communication Review"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"Erdogmus, H., Johnston, R.: On the Specification and Synthesis of Communicating Processes. IEEE Trans. on Software Engineering\u00a0SE-16(12) (1990)","DOI":"10.1109\/32.62449"},{"issue":"4","key":"26_CR4","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1145\/128733.128734","volume":"8","author":"R. Gotzhein","year":"1990","unstructured":"Gotzhein, R., Bochmann, G.v.: Deriving Protocol Specifications from Service Specifications Including Parameters. ACM Trans. on Computer Systems\u00a08(4), 255\u2013283 (1990)","journal-title":"ACM Trans. on Computer Systems"},{"issue":"1","key":"26_CR5","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/s004460050022","volume":"10","author":"C. Kant","year":"1996","unstructured":"Kant, C., Higashino, T., Bochmann, G.v.: Deriving Protocol Specifications from Service Specifications Written in LOTOS. Distributed Computing\u00a010(1), 29\u201347 (1996)","journal-title":"Distributed Computing"},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"Chu, P.-Y.M., Liu, M.T.: Protocol Synthesis in a State-transition Model. In: Proc. of COMPSAC 1988, pp. 505\u2013512 (1988)","DOI":"10.1109\/CMPSAC.1988.17231"},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"Kahlouche, H., Girardot, J.J.: A Stepwise Requirement Based Approach for Synthesizing Protocol Specifications in an Interpreted Petri Net Model. In: Proc. of INFOCOM 1996, pp. 1165\u20131173 (1996)","DOI":"10.1109\/INFCOM.1996.493061"},{"key":"26_CR8","unstructured":"Al-Dallal, A., Saleh, K.: Protocol Synthesis Using the Petri Net Model. In: Prof. of 9th Int. Conf. on Parallel and Distributed Computing and Systems, PDCS 1997 (1997)"},{"issue":"1","key":"26_CR9","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s00446-002-0074-4","volume":"16","author":"H. Yamaguchi","year":"2003","unstructured":"Yamaguchi, H., El-Fakih, K., Bochmann, G.v., Higashino, T.: Protocol Synthesis and Re-synthesis with Optimal Allocation of Resources Based on Extended Petri Nets. Distributed Computing\u00a016(1), 21\u201335 (2003)","journal-title":"Distributed Computing"},{"issue":"7","key":"26_CR10","doi-asserted-by":"publisher","first-page":"759","DOI":"10.1016\/S0169-7552(97)00070-6","volume":"29","author":"A. Khoumsi","year":"1997","unstructured":"Khoumsi, A., Saleh, K.: Two Formal Methods for the Synthesis of Discrete Event Systems. Computer Networks and ISDN Systems\u00a029(7), 759\u2013780 (1997)","journal-title":"Computer Networks and ISDN Systems"},{"key":"26_CR11","unstructured":"Kapus-Koler, M.: Deriving Protocol Specifications from Service Specifications with Heterogeneous Timing Requirements. In: Proc. of 1991 Int. Conf. on Software Engineering for Real Time Systems, pp. 266\u2013270 (1991)"},{"issue":"6","key":"26_CR12","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1109\/TSE.1980.234502","volume":"6","author":"K. Voss","year":"1980","unstructured":"Voss, K.: Using Predicate\/Transition-Nets to Model and Analyze Distributed Database Systems. IEEE Trans. on Software Engineering\u00a06(6), 539\u2013544 (1980)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"26_CR13","volume-title":"Database System Concepts","author":"H.F. Korth","year":"1991","unstructured":"Korth, H.F., Silberschatz, A.: Database System Concepts. McGraw-Hill, New York (1991)"},{"key":"26_CR14","doi-asserted-by":"crossref","unstructured":"Yamaguchi, H., Bochmann, G.v., Higashino, T.: Decomposing Service Definition in Predicate\/Transition-Nets for Designing Distributed Systems. Online Document (2003), http:\/\/www-tani.ist.osaka-u.ac.jp\/techreport-e.html","DOI":"10.1007\/978-3-540-39979-7_26"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems - FORTE 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39979-7_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T04:47:34Z","timestamp":1740199654000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39979-7_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201755","9783540399797"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39979-7_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}