{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:05:24Z","timestamp":1725473124229},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540474609"},{"type":"electronic","value":"9783540474623"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11901433_20","type":"book-chapter","created":{"date-parts":[[2006,11,20]],"date-time":"2006-11-20T12:40:51Z","timestamp":1164026451000},"page":"360-379","source":"Crossref","is-referenced-by-count":0,"title":["Mapping RT-LOTOS Specifications into Time Petri Nets"],"prefix":"10.1007","author":[{"given":"Tarek","family":"Sadani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Boyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"de Saqui-Sannes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Pierre","family":"Courtiat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"ISO - Information processing systems - Open Systems Interconnection: LOTOS - a formal description technique based on the temporal ordering of observational behaviour. ISO International Standard 8807:1989, ISO (1989)","key":"20_CR1"},{"doi-asserted-by":"crossref","unstructured":"Courtiat, J.P., Santos, C., Lohr, C., Outtaj, B.: Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique. Computer Communications\u00a023(12) (2000)","key":"20_CR2","DOI":"10.1016\/S0140-3664(99)00240-6"},{"doi-asserted-by":"crossref","unstructured":"Berthomieu, B., Ribet, P., Vernadat, F.: The TINA tool: Construction of abstract state space for Petri nets and time Petri nets. Int. Journal of Production Research\u00a042(14) (2004)","key":"20_CR3","DOI":"10.1080\/00207540412331312688"},{"key":"20_CR4","volume-title":"Communications and Concurrency","author":"R.M. Milner","year":"1989","unstructured":"Milner, R.M.: Communications and Concurrency. Prentice Hall, Englewood Cliffs (1989)"},{"key":"20_CR5","volume-title":"Communicating Sequential Processes","author":"C. Hoare","year":"1985","unstructured":"Hoare, C.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"20_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39979-7_23","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2003","author":"J.P. Courtiat","year":"2003","unstructured":"Courtiat, J.P.: Formal design of interactive multimedia documents. In: K\u00f6nig, H., Heiner, M., Wolisz, A. (eds.) FORTE 2003. LNCS, vol.\u00a02767. Springer, Heidelberg (2003)"},{"issue":"11\u201312","key":"20_CR7","doi-asserted-by":"crossref","first-page":"888","DOI":"10.1007\/BF03005245","volume":"50","author":"J.P. Courtiat","year":"1995","unstructured":"Courtiat, J.P., de Oliveira, R.: On RT-LOTOS and its application to the formal design of multimedia protocols. Annals of Telecommunications\u00a050(11\u201312), 888\u2013906 (1995)","journal-title":"Annals of Telecommunications"},{"unstructured":"Merlin, P.: A study of the recoverability of computer system. PhD thesis, Dep. Comput. Sci., Univ. California, Irvine (1974)","key":"20_CR8"},{"doi-asserted-by":"crossref","unstructured":"Merlin, P., Faber, D.J.: Recoverability of communication protocols. IEEE Transactions on Communications\u00a0COM-24(9) (1976)","key":"20_CR9","DOI":"10.1109\/TCOM.1976.1093424"},{"unstructured":"Berthomieu, B., Menasche, M.: Une approche par \u00e9num\u00e9ration pour l\u2019analyse des r\u00e9seaux de Petri temporels. In: Actes de la conf\u00e9rence IFIP 1983, pp. 71\u201377 (1983)","key":"20_CR10"},{"doi-asserted-by":"crossref","unstructured":"Berthomieu, B., Diaz, M.: Modeling and verification of time dependant systems using Time Petri Nets. IEEE Transactions on Software Engineering\u00a017(3) (1991)","key":"20_CR11","DOI":"10.1109\/32.75415"},{"key":"20_CR12","series-title":"Monographs in Theoretical Computer Science: An EATCS Series","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04457-5","volume-title":"Petri Net Algebra","author":"E. Best","year":"2001","unstructured":"Best, E., Devillers, R., Koutny, M.: Petri Net Algebra. Monographs in Theoretical Computer Science: An EATCS Series. Springer, Heidelberg (2001)"},{"doi-asserted-by":"crossref","unstructured":"Sadani, T., Boyer, M., de Saqui-Sannes, P., Courtiat, J.P.: Effective representation of regular RT-LOTOS terms by finite time petri nets. Technical Report 05605, LAAS\/CNRS (2006)","key":"20_CR13","DOI":"10.1007\/11888116_29"},{"key":"20_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/3-540-44988-4_18","volume-title":"Application and Theory of Petri Nets 2000","author":"M. Koutny","year":"2000","unstructured":"Koutny, M.: A compositional model of time Petri nets. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol.\u00a01825, pp. 303\u2013322. Springer, Heidelberg (2000)"},{"key":"20_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-51525-9","volume-title":"Finite Representations of CCS and TCSP Programs by Automata and Petri Nets.","author":"D.A. Taubner","year":"1989","unstructured":"Taubner, D.A.: Finite Representations of CCS and TCSP Programs by Automata and Petri Nets. LNCS, vol.\u00a0369. Springer, Heidelberg (1989)"},{"key":"20_CR16","series-title":"Lecture Notes in Computer Science","volume-title":"CONCUR \u201990","author":"W. Yi","year":"1990","unstructured":"Yi, W.: Real-time behaviour of asynchronous agents. In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR 1990. LNCS, vol.\u00a0458. Springer, Heidelberg (1990)"},{"unstructured":"RT-LOTOS: Real-time LOTOS home page, http:\/\/www.laas.fr\/RT-LOTOS\/","key":"20_CR17"},{"key":"20_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communication Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communication Systems. LNCS, vol.\u00a092. Springer, Heidelberg (1980)"},{"key":"20_CR19","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Aided Verification","author":"M. Yannakakis","year":"1993","unstructured":"Yannakakis, M., Lee, D.: An efficient algorithm for minimizing real-time transition system. In: Courcoubetis, C. (ed.) CAV 1993. LNCS, vol.\u00a0697. Springer, Heidelberg (1993)"},{"key":"20_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0017157","volume-title":"Mathematical Foundations of Computer Science 1988","author":"U. Goltz","year":"1988","unstructured":"Goltz, U.: On representing CCS programs by finite Petri nets. In: Koubek, V., Janiga, L., Chytil, M.P. (eds.) MFCS 1988. LNCS, vol.\u00a0324. Springer, Heidelberg (1988)"},{"key":"20_CR21","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526589","volume-title":"Nets, Terms, and formulas","author":"E.R. Olderog","year":"1991","unstructured":"Olderog, E.R.: Nets, Terms, and formulas. Cambridge University Press, Cambridge (1991)"},{"key":"20_CR22","first-page":"379","volume-title":"Protocol Specification, Testing and Verification, X. Proceedings of the IFIP WG 6.1 Tenth International Symposium","author":"H. Garavel","year":"1990","unstructured":"Garavel, H., Sifakis, J.: Compilation and verification of LOTOS specifications. In: Logrippo, L., et al. (eds.) Protocol Specification, Testing and Verification, X. Proceedings of the IFIP WG 6.1 Tenth International Symposium, pp. 379\u2013394. North-Holland, Ottawa, Ont., Canada, Amsterdam, Netherlands (1990)"},{"unstructured":"Barbeau, M., von Bochmann, G.: Verification of LOTOS specifications: A Petri net based approach. In: Proc. of Canadian Conf. on Electrical and Computer Engineering (1990)","key":"20_CR23"},{"doi-asserted-by":"crossref","unstructured":"Larrabeiti, D., Quelmada, J., Pav\u00f3n, S.: From LOTOS to Petri nets through expansion. In: Gotzhein, R., Bredereke, J. (eds.) Proc. of Int. Conf. on Formal Description Techniques and Theory, application and tools (FORTE\/PSV 1996) (1996)","key":"20_CR24","DOI":"10.1007\/978-0-387-35079-0_31"},{"key":"20_CR25","first-page":"103","volume":"3","author":"M. Barbeau","year":"1991","unstructured":"Barbeau, M., von Bochmann, G.: Extension of the Karp and Miller procedure to LOTOS specifications. Discrete Mathematics and Theoretical Computer Science\u00a03, 103\u2013119 (1991)","journal-title":"Discrete Mathematics and Theoretical Computer Science"},{"key":"20_CR26","series-title":"Lecture Notes in Computer Science","volume-title":"Application and Theory of Petri Nets 1993","author":"M. Barbeau","year":"1993","unstructured":"Barbeau, M., von Bochmann, G.: A subset of LOTOS with the computational power of place\/transition-nets. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol.\u00a0691. Springer, Heidelberg (1993)"},{"unstructured":"Garavel, H., Lang, F., Mateescu, R.: An overview of cadp 2001. European Association for software science and technology (EASST) Newsletter\u00a04 (2002)","key":"20_CR27"},{"issue":"12","key":"20_CR28","doi-asserted-by":"publisher","first-page":"1361","DOI":"10.1109\/12.477242","volume":"44","author":"R. Sisto","year":"1995","unstructured":"Sisto, R., Valenzano, A.: Mapping Petri nets with inhibitor arcs onto basic LOTOS behavior expressions. IEEE Transactions on computers\u00a044(12), 1361\u20131370 (1995)","journal-title":"IEEE Transactions on computers"},{"doi-asserted-by":"crossref","unstructured":"Sadani, T., Courtiat, J., de Saqui-Sannes, P.: From RT-LOTOS to time Petri nets. new foundations for a verification platform. In: Proc. of 3rd IEEE Int. Conf. on Software Engineering and Formal Methods (SEFM) (2005)","key":"20_CR29","DOI":"10.1109\/SEFM.2005.22"},{"unstructured":"Bolognesi, T., Lucidi, F., Trigila, S.: From timed Petri nets to timed LOTOS. In: Protocol Specification, Testing and Verification X (PSTV), Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol, pp. 395\u2013408 (1990)","key":"20_CR30"},{"doi-asserted-by":"crossref","unstructured":"Durante, L., Sisto, R., Valenzano, A.: Integration of time Petri net and TE-LOTOS in the design and evaluation of factory communication systems. In: Proc. of the 2nd IEEE Workshop on Factory Communications Systems (WFCS 1997) (1997)","key":"20_CR31","DOI":"10.1109\/WFCS.1997.634358"},{"doi-asserted-by":"crossref","unstructured":"Apvrille, L., Courtiat, J.P., Lohr, C., de Saqui-Sannes, P.: TURTLE: A real-time UML profile supported by a formal validation toolkit. IEEE Transactions on Software Engineering\u00a030(4) (2004)","key":"20_CR32","DOI":"10.1109\/TSE.2004.34"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11901433_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,4]],"date-time":"2021-08-04T22:12:34Z","timestamp":1628115154000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11901433_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540474609","9783540474623"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/11901433_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}