{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:28:33Z","timestamp":1725550113762},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540289487"},{"type":"electronic","value":"9783540319764"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11555223_2","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T14:44:10Z","timestamp":1127832250000},"page":"14-21","source":"Crossref","is-referenced-by-count":0,"title":["Modelization of a Communication Protocol for CSCW Systems Using Coloured Petri Nets"],"prefix":"10.1007","author":[{"given":"Eric","family":"Garcia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julien","family":"Henriet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Christophe","family":"Lapayre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Garcia, E., Guyennet, H., Lapayre, J.C.: Group partitioning over corba for cooperative work. Journal of Cluster Computing (2005) (to appear)","DOI":"10.1007\/s10586-006-4898-8"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Garcia, E., Guyennet, H., Lapayre, J.C., Moulin, T.: Adapatative tele-application for remote neurology diagnosis. International Journal of Telemedicine and e-Health (2005) (to appear)","DOI":"10.1089\/tmj.2005.11.692"},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/S0167-739X(03)00127-4","volume":"720","author":"S.U. Guan","year":"2004","unstructured":"Guan, S.U., Lim, S.S.: Modeling adapatable multimedia and self-modifying protocol execution. Future Generation Computer Systems\u00a0720, 123\u2013143 (2004)","journal-title":"Future Generation Computer Systems"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"474","DOI":"10.1007\/978-3-540-27793-4_28","volume-title":"Applications and Theory of Petri Nets 2004","author":"L.M. Kristensen","year":"2004","unstructured":"Kristensen, L.M., Petrucci, L.: An approach to distributed state space exploration for coloured petri nets. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol.\u00a03099, pp. 474\u2013483. Springer, Heidelberg (2004)"},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/S0167-739X(03)00139-0","volume":"20","author":"G.L. Park","year":"2004","unstructured":"Park, G.L.: Performance evaluation of a list scheduling algorithm in distributed memory multiprocessor systems. Future Generation Computer Systems\u00a020, 249\u2013256 (2004)","journal-title":"Future Generation Computer Systems"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF02277859","volume":"7","author":"R. Schwarz","year":"1994","unstructured":"Schwarz, R., Mattern, F.: Detecting causal relationships in distributed computations: In search of the holy grail. Distributed Computing\u00a07, 149\u2013174 (1994)","journal-title":"Distributed Computing"},{"key":"2_CR7","unstructured":"Peterson, J.L.: Petri net theory and the modelling of systems. Prentice Hall PTR, Englewood Cliffs (1981), ISBN: 0136619835"},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/S0164-1212(03)00211-5","volume":"72","author":"S.M. Koriem","year":"2004","unstructured":"Koriem, S.M., Dabbous, T.E., El-Kilani, W.S.: A new petri net modeling technique for the performance analysis of discrete event dynamic systems. Journal of Systems and Software\u00a072, 335\u2013348 (2004)","journal-title":"Journal of Systems and Software"},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/0304-3975(81)90049-9","volume":"14","author":"K. Jensen","year":"1981","unstructured":"Jensen, K.: Colored petri nets and the invariant method. Theorical Computer Science\u00a014, 317\u2013336 (1981)","journal-title":"Theorical Computer Science"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/3-540-65307-4_50","volume-title":"Lectures on Petri Nets II: Applications","author":"K. Jensen","year":"1998","unstructured":"Jensen, K.: An introduction to the practical use of coloured petri nets. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol.\u00a01492, pp. 237\u2013292. Springer, Heidelberg (1998)"},{"key":"2_CR11","unstructured":"Garcia, E., Henriet, J., Lapayre, J.C.: Modeling the chameleon using a coloured-petri net: Proof and validation. LIFC Technical Report, num. RT2005-03 (2005), http:\/\/lifc.univ-fcomte.fr"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11686699_6","volume-title":"Computer Supported Cooperative Work in Design II","author":"E. Garcia","year":"2006","unstructured":"Garcia, E., Guyennet, H., Lapayre, J.C.: Study of an optimistic protocol for concurrency management in cscw. In: Shen, W.-m., Chao, K.-M., Lin, Z., Barth\u00e8s, J.-P.A., James, A. (eds.) CSCWD 2005. LNCS, vol.\u00a03865, Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Cooperative Design, Visualization, and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11555223_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:47:01Z","timestamp":1605642421000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11555223_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540289487","9783540319764"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11555223_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}