{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:54:12Z","timestamp":1729641252837,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,10]]},"DOI":"10.1109\/icsmc.2007.4414097","type":"proceedings-article","created":{"date-parts":[[2008,1,4]],"date-time":"2008-01-04T15:52:49Z","timestamp":1199461969000},"page":"2502-2507","source":"Crossref","is-referenced-by-count":3,"title":["Interval generalized stochastic petri net models in dependability evaluation"],"prefix":"10.1109","author":[{"given":"Sergio","family":"Galdino","sequence":"first","affiliation":[]},{"given":"Paulo R. M.","family":"Maciel","sequence":"additional","affiliation":[]},{"given":"Nelson S.","family":"Rosa","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/BF02390519"},{"journal-title":"Interval Methods for Systems of Equations","year":"1990","author":"neumaier","key":"18"},{"key":"15","article-title":"Interval Analysis in MATLAB","author":"hargreaves","year":"2002","journal-title":"Numerical analysis report"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/s11155-005-3032-6"},{"journal-title":"Interval Analysis","year":"1966","author":"moore","key":"13"},{"key":"14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1137\/1028001","article-title":"The Arithmetic of the Digital Computers: A New Approach","volume":"28","author":"kulish","year":"1986","journal-title":"SIAM Review"},{"key":"11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-9170-5_1","article-title":"Dependability: Basic Concepts and Associated Termi-Nology","volume":"5","author":"laprie","year":"1992","journal-title":"Dependable Computing and Fault-Tolerant Systems"},{"key":"12","article-title":"Fault Tolerant Computer System Design","author":"pradhan","year":"1996","journal-title":"Prentice Hall Advanced Computing And Telecommunications Series"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-1247-7_25"},{"key":"20","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1023\/A:1024423917616","article-title":"Solving linear interval is np-hard even if we exclude overflow and underflow","volume":"4","author":"kreinovich","year":"1998","journal-title":"Reliable Computing"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009975421252"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1007\/BF02241817"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022374804152"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-1247-7_7"},{"year":"0","key":"26"},{"key":"27","first-page":"44","article-title":"Generalized stochastic Petri nets revisited: Random switchs and priorities","author":"marsan","year":"1987","journal-title":"Proceedings 6th International Workshop on Petri Nets and Performance Models PNPM-95"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/32.214828"},{"journal-title":"Analysis of Large Stochastic Petri Net Models","year":"1989","author":"ciardo","key":"29"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/32.16600"},{"key":"2","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/190.191","article-title":"A class of generalized stochastic Petri nets","volume":"2","author":"marsan","year":"1984","journal-title":"ACM Transactions Computer Systems"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9884-2"},{"key":"1","article-title":"Modelling with Generalized Stochastic Petri Nets","author":"ajmone marsan","year":"1995","journal-title":"Wiley Series in Parallel Computing"},{"journal-title":"Petri Nets for Systems Engineering A Guide to Modeling Verification and Applications","year":"2003","author":"girault","key":"30"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1002\/0471791571"},{"key":"6","first-page":"202","article-title":"Characterization and Analysis of Software and Computer Systems with Uncertainties and Variabilities","volume":"2047","author":"majumdar","year":"2001","journal-title":"LNCS"},{"journal-title":"Lectures on formal methods and performance analysis Revised lectures\/First EEF Summer School on Trends in Computer Science Berg en Dal","year":"2000","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/0026-2714(91)90007-T"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/0026-2714(94)90137-6"},{"journal-title":"Performance Analysis of Communicating Systems - Modeling with Non-Markovian Stochastic Petri Nets","year":"2000","author":"german","key":"8"}],"event":{"name":"2007 IEEE International Conference on Systems, Man and Cybernetics","start":{"date-parts":[[2007,10,7]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2007,10,10]]}},"container-title":["2007 IEEE International Conference on Systems, Man and Cybernetics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4413560\/4413561\/04414097.pdf?arnumber=4414097","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T22:40:34Z","timestamp":1497739234000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4414097\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/icsmc.2007.4414097","relation":{},"subject":[],"published":{"date-parts":[[2007,10]]}}}