{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:33:59Z","timestamp":1725471239803},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540462194"},{"type":"electronic","value":"9783540462200"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11888116_29","type":"book-chapter","created":{"date-parts":[[2006,10,3]],"date-time":"2006-10-03T10:06:43Z","timestamp":1159870003000},"page":"404-419","source":"Crossref","is-referenced-by-count":4,"title":["Effective Representation of RT-LOTOS Terms by Finite 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":[{"key":"29_CR1","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)","DOI":"10.1007\/11888116_29"},{"key":"29_CR2","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)","DOI":"10.1016\/S0140-3664(99)00240-6"},{"key":"29_CR3","unstructured":"RT-LOTOS: Real-time LOTOS home page, http:\/\/www.laas.fr\/RT-LOTOS\/"},{"key":"29_CR4","doi-asserted-by":"crossref","unstructured":"Yovine, S.: Kronos: A verification tool for real-time systems. Software Tools for Technology Transfer\u00a01(123\u2013133) (1997)","DOI":"10.1007\/s100090050009"},{"key":"29_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/BFb0020949","volume-title":"Hybrid Systems III","author":"J. Bengtsson","year":"1996","unstructured":"Bengtsson, J., Larsen, K.G., Larsson, F., Pettersson, P., Yi, W.: UPPAAL - a tool suite for automatic verification of real-time systems. In: Alur, R., Sontag, E.D., Henzinger, T.A. (eds.) HS 1995. LNCS, vol.\u00a01066, pp. 232\u2013243. Springer, Heidelberg (1996)"},{"key":"29_CR6","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)","DOI":"10.1109\/SEFM.2005.22"},{"key":"29_CR7","series-title":"Monographs in Theoretical Computer Science: An EATCS Series","doi-asserted-by":"publisher","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) ISBN: 3-540-67398-9."},{"key":"29_CR8","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":"29_CR9","volume-title":"Communications and Concurrency","author":"R.M. Milner","year":"1989","unstructured":"Milner, R.M.: Communications and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"29_CR10","volume-title":"Communicating Sequential Processes","author":"C. Hoare","year":"1985","unstructured":"Hoare, C.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"29_CR11","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)"},{"key":"29_CR12","unstructured":"ISO\/IEC: Information technology - enhancements to LOTOS (E-LOTOS). Technical Report 15437:2001, ISO\/IEC (2001)"},{"key":"29_CR13","unstructured":"Merlin, P.: A study of the recoverability of computer system. PhD thesis, Dep. Comput. Sci., Univ. California, Irvine (1974)"},{"key":"29_CR14","doi-asserted-by":"crossref","unstructured":"Merlin, P., Faber, D.J.: Recoverability of communication protocols. IEEE Transactions on Communications COM-24(9) (1976)","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"29_CR15","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":"29_CR16","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)","DOI":"10.1109\/32.75415"},{"key":"29_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/3-540-47884-1_9","volume-title":"Integrated Formal Methods","author":"S. Katz","year":"2002","unstructured":"Katz, S., Grumberg, O.: A framework for translating models and specifications. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol.\u00a02335, p. 145. Springer, Heidelberg (2002)"},{"key":"29_CR18","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":"29_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-51525-9","volume-title":"Finite Representations of CCS and TCSP Programs by Automata and Petri Nets","author":"D. Taubner","year":"1989","unstructured":"Taubner, D.: Finite Representations of CCS and TCSP Programs by Automata and Petri Nets. LNCS, vol.\u00a0369. Springer, Heidelberg (1989)"},{"key":"29_CR20","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)"},{"key":"29_CR21","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":"29_CR22","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":"29_CR23","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, Ottawa, Ont., Canada, pp. 379\u2013394. North-Holland, Amsterdam (1990)"},{"key":"29_CR24","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":"29_CR25","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)","DOI":"10.1007\/978-0-387-35079-0_31"},{"key":"29_CR26","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":"29_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56863-8_40","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)"},{"key":"29_CR28","unstructured":"Garavel, H., Lang, F., Mateescu, R.: An overview of cadp 2001. European Association for software science and technology (EASST) Newsletter\u00a04 (2002)"},{"issue":"12","key":"29_CR29","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"},{"key":"29_CR30","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":"29_CR31","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)","DOI":"10.1109\/WFCS.1997.634358"},{"key":"29_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/3-540-45740-2_18","volume-title":"Applications and Theory of Petri Nets 2001","author":"O. Marroqu\u00edn Alonso","year":"2001","unstructured":"Marroqu\u00edn Alonso, O., de Frutos Escrig, D.: Extending the petri box calculus with time. In: Colom, J.-M., Koutny, M. (eds.) ICATPN 2001. LNCS, vol.\u00a02075, p. 303. Springer, Heidelberg (2001)"},{"key":"29_CR33","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)","DOI":"10.1080\/00207540412331312688"},{"key":"29_CR34","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)","DOI":"10.1109\/TSE.2004.34"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems - FORTE 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11888116_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,21]],"date-time":"2019-04-21T08:25:45Z","timestamp":1555835145000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11888116_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540462194","9783540462200"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/11888116_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}