{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:57:36Z","timestamp":1725487056203},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540437871"},{"type":"electronic","value":"9783540480686"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-48068-4_24","type":"book-chapter","created":{"date-parts":[[2007,6,18]],"date-time":"2007-06-18T07:01:43Z","timestamp":1182150103000},"page":"414-433","source":"Crossref","is-referenced-by-count":4,"title":["Translating TPAL Specifications into Timed-Arc Petri Nets"],"prefix":"10.1007","author":[{"given":"Valent\u00edn","family":"Valero","sequence":"first","affiliation":[]},{"given":"Juan Jos\u00e9","family":"Pardo","sequence":"additional","affiliation":[]},{"given":"Fernando","family":"Cuartero","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,6,6]]},"reference":[{"key":"24_CR1","series-title":"Lect Notes Comput Sci","first-page":"451","volume-title":"Interval Timed Coloured Petri Nets and their Analysis","author":"W. M. P. Aalst van der","year":"1993","unstructured":"W. M. P. van der Aalst. Interval Timed Coloured Petri Nets and their Analysis. Lecture Notes in Computer Science, vol. 691, pp. 451\u2013472. 1993."},{"key":"24_CR2","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/BF01088807","volume":"9","author":"W. M. P. Aalst van der","year":"1995","unstructured":"W. M. P. van der Aalst and M. A. Odijk. Analysis of Railway Stations by Means of Interval Timed Coloured Petri Nets. Real-Time Systems, vol. 9, pp. 241\u2013263. 1995.","journal-title":"Real-Time Systems"},{"key":"24_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/3-540-45740-2_5","volume-title":"Proc. 22nd International Conference on Theory and Application of Petri Nets","author":"P. A. Abdulla","year":"2001","unstructured":"Parosh A. Abdulla and Aletta Nyl\u00e9n. Timed Petri Nets and BQOs. Proc. 22nd International Conference on Theory and Application of Petri Nets. Lecture Notes in Computer Science, vol. 2075, pp. 53\u201370. 2001."},{"unstructured":"M. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte and A. Cumani. On Petri Nets with Stochastic Timing. Proc. of the International Workshop on Timed Petri Nets, IEEE Computer Society Press, pp. 80\u201387. 1985.","key":"24_CR4"},{"key":"24_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/3-540-55610-9_167","volume-title":"Advances in Petri Nets","author":"E. Best","year":"1992","unstructured":"E. Best, R. Devillers, J. Hall. The Petri Box Calculus: A New Causal Algebra with Multi-label Communication. Advances in Petri Nets, 1992. Lecture Notes in Computer Science, vol. 609, pp. 21\u201369. 1992."},{"unstructured":"T. Bolognesi, F. Lucidi and S. Trigila. From Timed Petri Nets to Timed LOTOS. Proceedings of the Tenth International IFIP WG6.1 Symposium on Protocol Specification, Testing and Verification. North-Holland, 1990.","key":"24_CR6"},{"unstructured":"Fred D. J. Bowden. Modelling time in Petri nets. Proc. Second Australia-Japan Workshop on Stochastic Models. 1996.","key":"24_CR7"},{"doi-asserted-by":"crossref","unstructured":"Antonio Cerone and Andrea Maggiolo-Schettini. Time-based expressivity of time Petri nets for system specification. Theoretical Computer Science (216)1\u20132, pp. 1\u201353. 1999.","key":"24_CR8","DOI":"10.1016\/S0304-3975(98)00008-5"},{"key":"24_CR9","series-title":"Lect Notes Comput Sci","first-page":"187","volume-title":"Proc. ICATPN 2000","author":"D. Frutos de","year":"2000","unstructured":"D. de Frutos, V. Valero and O. Marroqu\u00edn. Decidability of Properties of Timed-Arc Petri Nets. Proc. ICATPN 2000, Lecture Notes in Computer Science, vol. 1825, pp. 187\u2013206. 2000."},{"key":"24_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/BFb0017157","volume-title":"MFCS","author":"U. Goltz","year":"1988","unstructured":"U. Goltz. On representing CCS programs by finite Petri nets. MFCS, Lecture Notes in Computer Science, vol. 324 (1988), 339\u2013350."},{"key":"24_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1007\/3-540-56863-8_52","volume-title":"Application and Theory of Petri Nets","author":"H.-M. Hanisch","year":"1993","unstructured":"Hans-Michael Hanisch. Analysis of Place\/Transition Nets with Timed-Arcs and its Application to Batch Process Control. Application and Theory of Petri Nets, LNCS vol. 691, pp:282\u2013299. 1993."},{"unstructured":"P. Merlin. A Study of the Recoverability of Communication Protocols. PhD. Thesis, Univ. of California. 1974.","key":"24_CR12"},{"key":"24_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/BFb0039073","volume-title":"CONCUR\u201990","author":"F. Moller","year":"1990","unstructured":"F. Moller and C. Tofts. A Temporal Calculus of Communicating Systems. CONCUR\u201990. Lecture Notes in Computer Science, vol. 458, pp. 401\u2013415. 1990."},{"unstructured":"J. Pardo, V. Valero, F. Cuartero and D. Cazorla. Automatic Translation of TPAL specifications into Dynamic State Graphs. To appear in the proc. of APSEC\u201901, IEEE Computer Society Press. 2001.","key":"24_CR14"},{"key":"24_CR15","volume-title":"PhD. Thesis","author":"C. Ramchandani","year":"1973","unstructured":"C. Ramchandani. Performance Evaluation of Asynchronous Concurrent Systems by Timed Petri Nets. PhD. Thesis, Massachusetts Institute of Technology, Cambridge. 1973."},{"key":"24_CR16","series-title":"Lect Notes Comput Sci","first-page":"331","volume-title":"Mathematical Foundations of Programming","author":"G. M. Reed","year":"1987","unstructured":"G. M. Reed and A. W. Roscoe. Metric Spaces as Models for Real-Time Concurrency. Mathematical Foundations of Programming. Lecture Notes in Computer Science, vol. 298, pp. 331\u2013343. 1987."},{"unstructured":"J. Sifakis. Use of Petri Nets for Performance Evaluation. Proc. of the Third International Symposium IFIP W. G.7.3., Measuring, Modelling and Evaluating Computer Systems. Elsevier Science Publishers, pp. 75\u201393. 1977.","key":"24_CR17"},{"key":"24_CR18","series-title":"Lect Notes Comput Sci","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. Taubner","year":"1989","unstructured":"Dirk Taubner. Finite Representations of CCS and TCSP Programs by Automata and Petri Nets. Lecture Notes in Computer Science, vol. 369. 1989."},{"doi-asserted-by":"crossref","unstructured":"V. Valero, D. de Frutos and F. Cuartero. On Non-decidability of Reachability for Timed-Arc Petri Nets. Proc. 8th Int. Workshop on Petri Nets and Performance Models, PNPM\u201999, pp. 188\u2013196. 1999.","key":"24_CR19","DOI":"10.1109\/PNPM.1999.796565"},{"unstructured":"V. Valero, D. de Frutos, and F. Cuartero. Decidability of the Strict Reachability Problem for TPN\u2019s with Rational and Real Durations. Proc. 5th. International Workshop on Petri Nets and Performance Models, pp. 56\u201365. 1993.","key":"24_CR20"},{"unstructured":"B. Walter. Timed Petri-Nets for Modelling and Analysing Protocols with Real-Time Characteristics. Proc. 3rd IFIP Workshop on Protocol Specification, Testing and Verification, North-Holland. 1983.","key":"24_CR21"},{"unstructured":"Wang Yi. A Calculus of Real Time Systems. PhD. Thesis, Chalmers University of Technology. 1991.","key":"24_CR22"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48068-4_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T23:59:13Z","timestamp":1556495953000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48068-4_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437871","9783540480686"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-48068-4_24","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}