{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,31]],"date-time":"2025-07-31T00:26:35Z","timestamp":1753921595864},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422525"},{"type":"electronic","value":"9783540457404"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45740-2_18","type":"book-chapter","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T10:30:51Z","timestamp":1195122651000},"page":"303-322","source":"Crossref","is-referenced-by-count":12,"title":["Extending the Petri Box Calculus with Time"],"prefix":"10.1007","author":[{"given":"Olga Marroqu\u00edn","family":"Alonso","sequence":"first","affiliation":[]},{"given":"David Frutos","family":"de Escrig","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,28]]},"reference":[{"key":"18_CR1","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 1992","author":"E. Best","year":"1992","unstructured":"E. Best, R. Devillers and J. Hall The Petri Box Calculus: A New Causal Algebra with Multi-label Communication. Advances in Petri Nets 1992, LNCS vol.609, pp.21\u201369. Springer-Verlag, 1992."},{"key":"18_CR2","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Petri Net Conference\u201995","author":"E. Best","year":"1995","unstructured":"E. Best and M. Koutny A Refined View of the Box Algebra. Petri Net Conference\u201995, LNCS vol.935, pp.1\u201320. Springer-Verlag, 1995."},{"key":"18_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(97)00180-1","volume":"211","author":"M. Koutny","year":"1999","unstructured":"M. Koutny and E. Best Operational and Denotational Semantics for the Box Algebra. Theoretical Computer Science 211, pp.1\u201383, 1999.","journal-title":"Theoretical Computer Science"},{"key":"18_CR4","series-title":"Lect Notes Comput Sci","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":"M. Koutny A Compositional Model of Time Petri Nets. Application and Theory of Petri Nets 2000, LNCS vol.1825, pp.303\u2013322. Springer-Verlag, 2000."},{"key":"18_CR5","series-title":"Technical Report","volume-title":"TPBC: Timed Petri Box Calculus","author":"O. M. Alonso","year":"2000","unstructured":"O. Marroqu\u00edn Alonso and D. Frutos Escrig. TPBC: Timed Petri Box Calculus. Technical Report, Dept. Sistemas Inform\u00e1ticos y Programaci\u00f3n. UCM, 2000. In Spanish."},{"key":"18_CR6","unstructured":"P. Merlin A Study of the Recoverability of Communication Protocols. PhD. Thesis, University of California, 1974."},{"key":"18_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/BFb0039073","volume-title":"CONCUR\u201990:Theories of Concurrency: Unification and Extension","author":"F. Moller","year":"1990","unstructured":"F. Moller and C. Tofts A Temporal Calculus of CommunicatingSystems. CONCUR\u201990:Theories of Concurrency: Unification and Extension, LNCS vol.458, pp.401\u2013415. Springer-Verlag, 1990."},{"key":"18_CR8","unstructured":"Y. Ortega Mall\u00e9n En Busca del Tiempo Perdido. PhD. Thesis, Universidad Complutense de Madrid. 1990."},{"key":"18_CR9","unstructured":"C. Ramchandani Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. Technical Report 120. Project MAC. 1974."},{"key":"18_CR10","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, LNCS vol.298, pp.331\u2013343. Springer-Verlag, 1987."},{"key":"18_CR11","unstructured":"Wang Yi A Calculus of Real Time Systems. PhD. Thesis, Chalmers University of Technology, 1991."}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2001"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45740-2_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T11:00:53Z","timestamp":1551092453000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45740-2_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422525","9783540457404"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-45740-2_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}