{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:37:57Z","timestamp":1725457077771},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540555643"},{"type":"electronic","value":"9783540472186"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/bfb0031991","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T01:36:29Z","timestamp":1134264989000},"page":"149-175","source":"Crossref","is-referenced-by-count":1,"title":["Time in state based formal description techniques for distributed systems"],"prefix":"10.1007","author":[{"given":"Jp.","family":"Courtiat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Diaz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"key":"7_CR1","unstructured":"I. F. AKYILDIZ, G. CHIOLA, D. KOFMAN, H. KOEREZLIOKLU, \u201cStochastic Petri net Modeling of the FDDI Network Protocol\u201d, Int Symp on Protocol Specification, Verification and Testing, IFIP PSTV XI, Stockholm, June 1991, North-Holland, B. Pershon et al Editors."},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0169-7552(87)90084-5","volume":"14","author":"S. Budkowski","year":"1987","unstructured":"S. BUDKOWSKI, P. DEMBINSKI, \u201cAn introduction to Estelle: a specification language for distributed systems\u201d, Computer Networks and ISDN Systems, 14, 1987, pp 3\u201323.","journal-title":"Computer Networks and ISDN Systems"},{"key":"7_CR3","unstructured":"J.-P. COURTIAT, \u201cEstelle and Petri Nets: A Petri Net based Semantics for Estelle \u2014 Introducing a Rendez-Vous mechanism in Estelle: Estelle*\u201d in [Diaz 89]."},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"J.-P. COURTIAT, P. de SAQUI-SANNES, \u201cESTIM: an integrated environment for the simulation and verification of OSI protocols specified in Estelle*\u201d, Special Issue of the Journal of Computer Networks and ISDN Systems on Tools for Protocol Engineering, to appear, end of 1991.","DOI":"10.1016\/0169-7552(92)90125-A"},{"key":"7_CR5","unstructured":"P. DE SAQUI-SANNES, J.P. COURTIAT, \u201cFrom the Simulation to the Verification of Estelle Specifications\u201d, 2nd International Conference on Formal Description Techniques (FORTE 89), S.T. Vuong Editor, North-Holland, 1990."},{"key":"7_CR6","unstructured":"P. DE SAQUI-SANNES, J.P. COURTIAT, \u201cAn extension of the Multi-way synchronization mechanism concealed by Estelle\u201d, Int Symp on Protocol Specification, Verification and Testing, IFIP PSTV XI, Stockholm, June 1991, North-Holland."},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"M. DIAZ, \u201cModeling and analysis of communication and cooperation protocols using Petri net based models\u201d, Tutorial paper, Computer Networks, vol.6, n\u2218 6, December 1982.","DOI":"10.1016\/0376-5075(82)90112-X"},{"key":"7_CR8","unstructured":"M. DIAZ, J.P. ANSART, J.P. COURTIAT, P. AZEMA, V. CHARI, Editors, \u201cThe Formal description techniques Estelle\u201d, North-Holland, 1989."},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"M. DIAZ, C.A. VISSERS, \u201cSEDOS, Software environment for the design of open distributed systems\u201d, IEEE Software Magazine, November 1989.","DOI":"10.1109\/52.41647"},{"key":"7_CR10","volume-title":"Experiences using Estelle within SEDOS-Estelle-Demonstrator","author":"M. Diaz","year":"1989","unstructured":"M. Diaz, J. Dufau, R. Groz, Experiences using Estelle within SEDOS-Estelle-Demonstrator, 2nd Int Conf on Formal Description Techniques, FORTE 89, Vancouver, December 1989, North Holland."},{"key":"7_CR11","volume-title":"Simulating Estelle Specifications with Time Parameters","author":"P. Dembinski","year":"1987","unstructured":"P. Dembinski, S. Budkowski, \u201cSimulating Estelle Specifications with Time Parameters\u201d, Int. Symp. on Protocol Specification, Testing and Verification, IFIP PSTV VII, Zurich, May 1987, North-Holland."},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"J. DUGAN, K. TRIVEDI, R. GEIST, V. NICOLA, \u201cExtended stochastic Petri nets applications and analysis\u201d, Performance 84, December 1984.","DOI":"10.21236\/ADA148439"},{"key":"7_CR13","unstructured":"H.J GENRICH, K. LAUTENBACH, \u201cThe Analysis of Distributed Systems by means of Predicate\/ Transition Nets\u201d in Lecture Notes on Computer Science, Springer Verlag, 1979."},{"issue":"n\u221812","key":"7_CR14","doi-asserted-by":"crossref","first-page":"1297","DOI":"10.1109\/TSE.1987.233141","volume":"SE-13","author":"M.A. Holliday","year":"1987","unstructured":"M.A. Holliday, M.K. Vernon, \u201cA generalized timed Petri net model for performance analysis\u201d, IEEE Trans. on Software Engineering, vol. SE-13, n\u221812, December 1987, pp. 1297\u20131310.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"7_CR15","unstructured":"ISO-IS9074.ISO\/TC97\/SC21\/WG1-FDT\/SC-B, \u201cEstelle, a formal description technique based on an extended state transition model\u201d, 1989."},{"key":"7_CR16","unstructured":"ISO-IS9074,ISO\/TC97\/SC21\/WG1-FDT\/SC-C, \u201cLOTOS, a formal description technique based on an extended state transition model\u201d, 1989."},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"N.D. JONES, L.H. LANDWEBER, Y.E. LIEN, \u201cComplexity of some problems in Petri nets\u201d, Theoretical Computer Science 4, 1977.","DOI":"10.1016\/0304-3975(77)90014-7"},{"key":"7_CR18","unstructured":"G. JUANOLE, J. L. ROUX, \u201cOn the Pertinence of Extended Time Petri Net Model for Analyzing Communication Activities\u201d, IEEE 3rd Int Workshop on Petri Nets and Performance Models\u201d, Kyoto, December 1989."},{"key":"7_CR19","unstructured":"G. JUANOLE, Y. ATAMNA, \u201cDealing with arbitrary time distributions with the Stochastic Timed Petri net model \u2014 Application to Queuing systems\u201d, Int Conf on Petri Nets and Performance Models, Melbourne, 1991."},{"key":"7_CR20","unstructured":"R. M. KELLER, \u201cFormal Verification of Parallel Programs\u201d, Comm. of the ACM, July 1986."},{"key":"7_CR21","unstructured":"K. LAUTENBACH, H. A. SCHMID, \u201cUse of Petri Nets for proving Correctness of Concurrent process systems\u201d, Proc. of the IFIP Congress, North Holland, 1974."},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"M. A. MARSAN, G. BALBO, G. CONTE, \u201cA Class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor System\u201d, ACM Trans. on Comp. Syst., May 1984, pp. 93\u2013122.","DOI":"10.1145\/190.191"},{"key":"7_CR23","unstructured":"M. A. MARSAN, G. BALBO, A. BOBBIO, G. CHIOLA, G. CONTE, A. CUMANI, \u201cOn Petri nets with stochastic timing\u201d, Int. Workshop on Timed Petri Nets, Torino, July 1985."},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"V.B. MAZZOLA, J-P. COURTIAT, M. DIAZ, A-M. DRUILHE, J-F. LENOTRE, P. MICHAUD, \u201cFlexible Assembly Cell: an implementation using the Estelle FDT\u201d, 6th CIM-Europe Conf., Lisboa, Portugal, May 1990.","DOI":"10.1007\/978-1-4471-1786-5_18"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"P. M. MERLIN, \u201cA methodology for design and implementation of protocols\u201d, IEEE Tr on Communications, June 1976.","DOI":"10.1109\/TCOM.1976.1093347"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"P. M. MERLIN, D.J. FARBER, \u201cRecoverability of communications protocols\u201d, IEEE Trans, on Communications, September 1976.","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"7_CR27","unstructured":"R. MILNER, \u201cCommunication and Concurrency\u201d, Prentice-Hall, 1989."},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"M. K. MOLLOY, \u201cPerformance Analyses using Stochastic Petri Nets\u201d, IEEE Tr on Computers, September 1982.","DOI":"10.1109\/TC.1982.1676110"},{"key":"7_CR29","doi-asserted-by":"crossref","unstructured":"R. de NICOLA, \u201cExtensional equivalences for transition systems\u201d, Acta Informatica, Vol. 24, 1987.","DOI":"10.1007\/BF00264365"},{"key":"7_CR30","first-page":"224","volume":"V","author":"A. Pnueli","year":"1986","unstructured":"A. Pnueli, \u201cApplications of Temporal Logic to Reactive Systems: a Survey of Current Trends\u201d, LNCS, V 224, 1986.","journal-title":"LNCS"},{"key":"7_CR31","unstructured":"C. RAMCHANDANI, \u201cAnalysis of asynchronous concurrent systems by timed Petri nets\u201d, Project MAC, TR 120, Massachussets Institute of Technology, Feb. 1974."},{"key":"7_CR32","unstructured":"R.R. RAZOUK, C.V. PHELPS, \u201cPerformance analysis using time Petri nets\u201d, 4th IFIP Protocol Specification, Testing and Verification, North-Holland, 1985, Y. Yemini Ed."},{"key":"7_CR33","first-page":"249","volume":"58","author":"G. M. Reed","year":"1988","unstructured":"G. M. REED and A. W. ROSCOE, A timed Model for Communicating Sequential Processes, volume 58, pages 249\u2013261. North-Holland, 1988.","journal-title":"A timed Model for Communicating Sequential Processes"},{"key":"7_CR34","unstructured":"J. L. RICHIER, C. RODRIGUEZ, J. SIFAKIS, J. VOIRON, Verification in XESAR of the sliding window protocol, Int. Symp. on Protocol Specification, Testing and Verification, IFIP PSTV VII, North-Holland, 1987."},{"key":"7_CR35","unstructured":"J. L. ROUX, G. JUANOLE, \u201cFunctional and Performance Analyses using Extended Petri Nets\u201d, Int. Work. on Petri Nets and Performance Models, Madison-WI, August 1987."},{"key":"7_CR36","doi-asserted-by":"crossref","unstructured":"F.D. SMITH, C.H. WEST, \u201cTechnologies for network architecture and implementation\u201d, IBM J. of Res. and Develop., vol.27, n\u22181, January 1983.","DOI":"10.1147\/rd.271.0068"},{"key":"7_CR37","unstructured":"P. VAN EIJK, C. VISSERS, M. DIAZ Editors, The Formal description technique LOTOS, North-Holland, 1989."},{"key":"7_CR38","doi-asserted-by":"crossref","unstructured":"M.C. YUANG, \u201cSurvey of Protocol Verification Techniques Based on Finite State Models\u201d, Proc. of the IEEE Computer Networking Symposium, Washington, April 1988.","DOI":"10.1109\/CNS.1988.4993"}],"container-title":["Lecture Notes in Computer Science","Real-Time: Theory in Practice"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0031991","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T09:48:28Z","timestamp":1586598508000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0031991"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540555643","9783540472186"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/bfb0031991","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}