{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:17:33Z","timestamp":1725664653015},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540613633"},{"type":"electronic","value":"9783540685050"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61363-3_5","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:35:19Z","timestamp":1330274119000},"page":"73-92","source":"Crossref","is-referenced-by-count":2,"title":["Behavioural and structural composition rules preserving liveness by synchronization for colored FIFO nets"],"prefix":"10.1007","author":[{"given":"Mohamed-Lyes","family":"Benalycherif","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claude","family":"Girault","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"L. Bernardinello and F. De Cindio. A survey of basic net models and modular net classes. In Advances in Petri Nets 1992, volume 609 of LNCS. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55610-9_177"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"G. Berthelot. Checking Properties of Nets Using Transformations. In Advances in Petri Nets 1985, volume 222 of LNCS, pages 19\u201340. Springer Verlag, 1986.","DOI":"10.1007\/BFb0016204"},{"key":"5_CR3","unstructured":"J. Billington and D. Kinny. Computer Aided Protocol Engineering. In Conference on New Business Applications of Information Technology, pages 69\u201373, Melbourne, Australia, 1989."},{"key":"5_CR4","unstructured":"G. Berthelot, G. Memmi, and W. Reisig. A Control Structure for Sequential Processes Synchronised by buffers. In Proc. of the 4th European Workshop on Application and Theory of Petri Nets. Toulouse, France, 1983."},{"key":"5_CR5","volume-title":"Validation of Parallel System Properties","author":"A. Bourguet-Rouger","year":"1987","unstructured":"A. Bourguet-Rouger and C. Girault. Validation of Parallel System Properties. In Proc. of International Conference on Parallel Processing and Applications, L'Aquila, Italy, 1987. North Holland."},{"issue":"3","key":"5_CR6","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1109\/32.4651","volume":"14","author":"J. Billington","year":"1988","unstructured":"J. Billington, G.R. Wheeler, and M.C. Wilburn-Ham. PROTEAN: A high-level petri net tool for the Specification and verification of Communication Protocols. IEEE Transactions on Software Engineering, 14(3):301\u2013316, 1988.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR7","unstructured":"A. Choquet. Analyse et propri\u00e9t\u00e9s des processus communiquant par files FIFO: r\u00e9seaux \u00e0 files \u00e0 choix libre topologique et r\u00e9seaux \u00e0 files lineaires. Th\u00e8se de doctorat de 3\u00e8me cycle, Universit\u00e9 Paris XI, 1987."},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"M. Diaz. Petri Net Based Models in the Specification and Verification of Protocols. In Advances in Petri Nets 1986, volume 255 of LNCS, pages 135\u2013170. Springer Verlag, 1987.","DOI":"10.1007\/3-540-17906-2_24"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"J. Esparza and M. Silva. On the Analysis and Synthesis of Free Choice Systems. In Advances in Petri Nets 1990, volume 483 of LNCS. Springer Verlag, 1991.","DOI":"10.1007\/3-540-53863-1_28"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"J. Fanchon. Fifo-Net Models for Processes with Asynchronous Communication. In Proc. of the 12th International Conference on Application and Theory of Petri Nets, Gjern, Denmak, 1991.","DOI":"10.1007\/3-540-55610-9_171"},{"key":"5_CR11","unstructured":"A. Finkel. Structuration des syst\u00e8mes de transitions \u2014 Application au contr\u00f4le du parall\u00e9lisme par files FIFO. Th\u00e8se d'\u00e9tat, Universit\u00e9 Paris XI, 1986."},{"key":"5_CR12","unstructured":"G. Memmi. M\u00e9thodes d'analyse des R\u00e9seaux de Petri, R\u00e9seaux \u00e0 files et Application aux Syst\u00e8mes Temps R\u00e9el. Th\u00e8se d'\u00e9tat, Universit\u00e9 Paris VI, 1983."},{"key":"5_CR13","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0304-3975(85)90014-3","volume":"35","author":"G. Memmi","year":"1985","unstructured":"G. Memmi and A. Finkel. An Introduction to FIFO Nets-Monogeneous Net: A subclass of FIFO Nets. Theoretical Computer Science, 35:191\u2013214, 1985.","journal-title":"Theoretical Computer Science"},{"key":"5_CR14","unstructured":"Y. Souissi and G. Memmi. Composition of nets via a communication medium. In Proc. of the 10th International Conference on Application and Theory of Petri Nets, Bonn, 1989."},{"key":"5_CR15","unstructured":"Y. Souissi. A Modular Approach for the Validation of Comunication Protocols using FIFO Nets. In Proc. of the XIth International Symposium on PSTV. North Holland, 1991."},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"E. Teruel and M. Suva. Liveness and Home States in Equal Conflict Systems. In Proc. of the 14th International Conference on Application and Theory of Petri Nets, Chicago, USA, 1993.","DOI":"10.1007\/3-540-56863-8_59"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1996"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61363-3_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:05:44Z","timestamp":1605629144000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61363-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540613633","9783540685050"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-61363-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}