{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:48:31Z","timestamp":1729662511646,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1109\/coginf.2005.1532624","type":"proceedings-article","created":{"date-parts":[[2005,11,15]],"date-time":"2005-11-15T10:48:27Z","timestamp":1132051707000},"page":"128-135","source":"Crossref","is-referenced-by-count":6,"title":["How does the memory work? By timed-arc Petri nets"],"prefix":"10.1109","author":[{"given":"F.L.","family":"Pelayo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Cuartero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Valero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.L.","family":"Pelayo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.G.","family":"Merayo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1023\/A:1025419826662"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/COGINF.2002.1039306"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/COGINF.2002.1039280"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1023\/A:1020537121530"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1146\/annurev.ps.44.020193.002321"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1999.796565"},{"key":"11","first-page":"7593","article-title":"Use of petri nets for performance evaluation","author":"sifakis","year":"1977","journal-title":"Proc of the Third International Symposium IFIP W G 7 3 Measuring Modelling and Evaluating Computer Systems"},{"journal-title":"Mind and Brain Science in the 21st Century","year":"1999","key":"12"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00008-5"},{"key":"2","article-title":"Modelling time in Petri nets","author":"bowden","year":"1996","journal-title":"Proc of Second Australia-Japan Workshop on Stochastic Models"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45740-2_5"},{"journal-title":"Performance Evaluation of Asynchronous Concurrent Systems by Timed Petri Nets","year":"1973","author":"ramchandani","key":"10"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/COGINF.2004.1327460"},{"key":"6","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1007\/3-540-56863-8_52","article-title":"Analysis of place\/transition nets with timed-arcs and its application to batch process control","volume":"691","author":"hanisch","year":"1993","journal-title":"Application and Theory of Petri Nets Lecture Notes in Computer Science"},{"key":"5","first-page":"451","article-title":"Interval timed coloured petri nets and their analysis","volume":"691","author":"der aalst","year":"1993","journal-title":"Lecture Notes in Computer Science"},{"key":"4","first-page":"187","article-title":"Decidability of properties of timed-arc Petri nets","volume":"1825","author":"de frutos","year":"2000","journal-title":"Proc of ICATPN 2000 Lecture Notes in Computer Science"},{"key":"9","article-title":"Communications with automata","volume":"radc tr 65 377","author":"petri","year":"1966","journal-title":"Technical Report"},{"journal-title":"A Study of the Recoverability of Communication Protocols","year":"1974","author":"merlin","key":"8"}],"event":{"name":"Fourth IEEE Conference on Cognitive Informatics, 2005. (ICCI 2005).","start":{"date-parts":[[2005,8,8]]},"location":"Irvine, CA, USA","end":{"date-parts":[[2005,8,10]]}},"container-title":["Fourth IEEE Conference on Cognitive Informatics, 2005. (ICCI 2005)."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10264\/32698\/01532624.pdf?arnumber=1532624","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,5]],"date-time":"2019-04-05T19:33:14Z","timestamp":1554492794000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1532624\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/coginf.2005.1532624","relation":{},"subject":[],"published":{"date-parts":[[2005]]}}}