{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,2]],"date-time":"2026-03-02T11:45:09Z","timestamp":1772451909896,"version":"3.50.1"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2013,1,8]],"date-time":"2013-01-08T00:00:00Z","timestamp":1357603200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Electron Test"],"published-print":{"date-parts":[[2013,2]]},"DOI":"10.1007\/s10836-012-5346-8","type":"journal-article","created":{"date-parts":[[2013,1,7]],"date-time":"2013-01-07T04:56:31Z","timestamp":1357534591000},"page":"25-34","source":"Crossref","is-referenced-by-count":19,"title":["Applying Petri Nets to Modeling of Many-Core Processor Self-Testing when Tests are Performed Randomly"],"prefix":"10.1007","volume":"29","author":[{"given":"Viktor","family":"Mashkov","sequence":"first","affiliation":[]},{"given":"Jiri","family":"Barilla","sequence":"additional","affiliation":[]},{"given":"Pavel","family":"Simr","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,1,8]]},"reference":[{"key":"5346_CR1","doi-asserted-by":"crossref","unstructured":"Aggarwal N, Ranganathan P, Jouppi NP, Smith JE (2007) Cofigurable isolation: building high availability systems with commodity multi-core processors. ISCA","DOI":"10.1145\/1250662.1250720"},{"key":"5346_CR2","unstructured":"Bechta Dugan J, Bobbio A, Ciardo G, Trivedi K (1985) The design of a unified package for the solution of stochastic Petri net models. In Proc. Int. Workshop on Timed Petri Nets, Italy, IEEE Soc Press No.674, pp 6\u201313"},{"key":"5346_CR3","unstructured":"Bonet P, Llado CM, Puijaner R, Knottenbelt WJ (2007) PIPEv2.5: A Petri Net Tool for Performance Modelling. In Proc. 23rd Latin American Conference on Informatics (CLEI 2007), Costa Rica"},{"key":"5346_CR4","first-page":"142","volume-title":"Proc Int Workshop on Petri Nets and Performance Models","author":"G Ciardo","year":"1989","unstructured":"Ciardo G, Muppala JK, Trivedi KS (1989) SPNP: Stochastic Petri Net Package. In: Proc Int Workshop on Petri Nets and Performance Models. IEEE Computer Society Press, Japan, pp 142\u2013150"},{"key":"5346_CR5","doi-asserted-by":"crossref","unstructured":"Collet JH, Zajac P, Psarakis M, Gizopoulos D (2011) Chip self-organization and fault-tolerance in massively defective multicore arrays. IEEE Trans Dependable Secur Comput, 8:(2)","DOI":"10.1109\/TDSC.2009.53"},{"key":"5346_CR6","unstructured":"Diao Q, Song JJ (2008) Prediction of CPU idle-busy activity pattern. In Proceedings of HPCA, pp 27\u201336"},{"key":"5346_CR7","doi-asserted-by":"crossref","unstructured":"Gizopoulos D, Psarakis M, Adve SV, Ramachandran P, Sorin D, Meixner A, Biswas A, Vera X (2011) Architectures for online error detection and recovery in multicore processors. ACM\/IEEE Des Autom Test Europe Conf (DATA 2011), Grenoble, France","DOI":"10.1109\/DATE.2011.5763096"},{"key":"5346_CR8","unstructured":"Gostev V, Mashkov V, Mashkov O (1995) Self-diagnosis of modular systems in random performance of elementary tests. Cybern Comput Technol (Discret Contr Syst), Allerton Press, Inc. No. 105, pp 104\u2013111"},{"key":"5346_CR9","doi-asserted-by":"crossref","unstructured":"Hetherington G, et al (1999) Logic BIST for large industrial design: real issues and case studies. ITC","DOI":"10.1109\/TEST.1999.805650"},{"issue":"3","key":"5346_CR10","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1109\/12.272430","volume":"43","author":"LE Laforge","year":"1994","unstructured":"Laforge LE, Huang K, Agarwal VK (1994) Almost sure diagnosis of almost every good elements. IEEE Trans Comput 43(3):295\u2013305","journal-title":"IEEE Trans Comput"},{"key":"5346_CR11","doi-asserted-by":"crossref","unstructured":"Maestrini P, Santi P (1995) Self-diagnosis of processor arrays using a comparison model. In Proc 4th IEEE Symp Reliab Distrib Syst, pp 218\u2013228","DOI":"10.1109\/RELDIS.1995.526229"},{"key":"5346_CR12","unstructured":"Markov Analysis ITEM ToolKit Module. Available on: http:\/\/www.itemuk.com\/markov.html"},{"key":"5346_CR13","doi-asserted-by":"crossref","unstructured":"Mashkov V (2011) Selected problems of system level self-diagnosis. Ukrainian Academic Press, 184pages","DOI":"10.1109\/CIT.2011.12"},{"key":"5346_CR14","first-page":"433","volume":"12","author":"V Mashkov","year":"1995","unstructured":"Mashkov V, Barabash O (1995) Self-checking of modular systems under random performance of elementary checks. Eng Simul 12:433\u2013445","journal-title":"Eng Simul"},{"key":"5346_CR15","unstructured":"Molloy MK (1981) On the integration of delay and throughput measures in distributed processing models. Technical report, PhD Thesis, UCLA"},{"key":"5346_CR16","unstructured":"Natkin S (1980) Les reseaux de Petri stochastiques et leur application a l\u2019evaluation des systems informatiques. Technical report, These de Docteur Ingegneur, Paris"},{"key":"5346_CR17","unstructured":"Peter J. Haas (2002) Stochastic Petri Nets: Modelling, Stability, Simulation. Springer Series in Operations Research. Editors: Peter W. Glynn and M. Robinson. ISBN 0-387-95445-7"},{"key":"5346_CR18","unstructured":"PNgenerator. Available on: http:\/\/vtan.ujep.cz\/PNgenerator"},{"issue":"3","key":"5346_CR19","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1109\/MDT.2010.5","volume":"27","author":"M Psarakis","year":"2010","unstructured":"Psarakis M, Gizopoulos D, Sanchez E, Sonza Reorda M (2010) Microprocessor software-based self-testing. IEEE Des Test Comput 27(3):4\u201319","journal-title":"IEEE Des Test Comput"},{"key":"5346_CR20","unstructured":"Python official website: http:\/\/www.python.org"},{"issue":"2","key":"5346_CR21","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1109\/TR.1987.5222336","volume":"R-36","author":"RA Sahner","year":"1987","unstructured":"Sahner RA, Trivedi KS (1987) Reliability modeling using SHARPE. IEEE Trans Reliab R-36(2):186\u2013193","journal-title":"IEEE Trans Reliab"}],"container-title":["Journal of Electronic Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10836-012-5346-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10836-012-5346-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10836-012-5346-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,8]],"date-time":"2019-07-08T01:39:16Z","timestamp":1562549956000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10836-012-5346-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,8]]},"references-count":21,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,2]]}},"alternative-id":["5346"],"URL":"https:\/\/doi.org\/10.1007\/s10836-012-5346-8","relation":{},"ISSN":["0923-8174","1573-0727"],"issn-type":[{"value":"0923-8174","type":"print"},{"value":"1573-0727","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,1,8]]}}}