{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T08:24:25Z","timestamp":1767860665600,"version":"3.49.0"},"reference-count":45,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2010,3,1]],"date-time":"2010-03-01T00:00:00Z","timestamp":1267401600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst., Man, Cybern. A"],"published-print":{"date-parts":[[2010,3]]},"DOI":"10.1109\/tsmca.2009.2034837","type":"journal-article","created":{"date-parts":[[2009,12,1]],"date-time":"2009-12-01T15:11:02Z","timestamp":1259680262000},"page":"337-351","source":"Crossref","is-referenced-by-count":112,"title":["Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets"],"prefix":"10.1109","volume":"40","author":[{"given":"Ryan","family":"Robidoux","sequence":"first","affiliation":[]},{"given":"Haiping","family":"Xu","sequence":"additional","affiliation":[]},{"given":"Liudong","family":"Xing","sequence":"additional","affiliation":[]},{"given":"MengChu","family":"Zhou","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","author":"goldfarb","year":"2000","journal-title":"The XML Handbook"},{"key":"ref38","author":"johnson","year":"1989","journal-title":"Design and Analysis of Fault Tolerant Digital Systems"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.902622"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1977.229904"},{"key":"ref31","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-60794-3","volume":"2","author":"jensen","year":"1997","journal-title":"Coloured Petri Nets Basic Concepts Analysis Methods and Practical Use"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/32.67597"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.923056"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.914747"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.909552"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.909509"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TR.1987.5222336"},{"key":"ref40","first-page":"450","article-title":"cpn tools for editing, simulating and analyzing colored petri nets","author":"ratzer","year":"2003","journal-title":"Proc Int Conf Appl Theory Petri Nets"},{"key":"ref11","first-page":"259","article-title":"reliability modeling using uml","author":"leangsuksun","year":"2003","journal-title":"Proc Int Conf Softw Eng Res Practice"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/RELDIS.1999.805085"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.68"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/55595.55616"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0920-5489(95)00024-O"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref17","author":"wang","year":"1998","journal-title":"Timed Petri Nets Theory and Application"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1142\/3376"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/21.108296"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1987.233170"},{"key":"ref4","first-page":"155","article-title":"formal semantics and verification of dynamic reliability block diagrams for system reliability modeling","author":"xu","year":"2007","journal-title":"Proc 11th Int Conf Software Eng"},{"key":"ref27","first-page":"355","article-title":"petri nets and hybrid state markov processes in a power hierarchy of dependability models","author":"everdij","year":"2003","journal-title":"Proc IFAC Conf Anal Des Hybrid Syst"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.1998.731591"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-006-0272-6"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/IWSSD.1993.315513"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.2316\/Journal.202.2009.2.202-2552"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2007.37"},{"key":"ref7","author":"vesely","year":"1981","journal-title":"Fault Tree Handbook (NUREG-0492)"},{"key":"ref2","author":"rausand","year":"2003","journal-title":"System reliability theory Models statistical methods and applications"},{"key":"ref9","author":"abd-allah","year":"1997","journal-title":"Extending reliability block diagrams to software architecture"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.2004.1265180"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820579"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/3477.865173"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.897333"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820590"},{"key":"ref42","author":"harold","year":"2002","journal-title":"Processing XML With Java A Guide to SAX DOM JDOM JAXP and TrAX"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2005.850141"},{"key":"ref41","article-title":"cpn ml: language for declarations and net inscriptions","year":"2008","journal-title":"CPN Tools Help"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820574"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1166586"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1999.796561"},{"key":"ref43","author":"robidoux","year":"2007","journal-title":"Automated verification of a computer system reliability model"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.913920"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/3468\/5415834\/05340681.pdf?arnumber=5340681","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T01:00:09Z","timestamp":1633914009000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5340681\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3]]},"references-count":45,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tsmca.2009.2034837","relation":{},"ISSN":["1083-4427","1558-2426"],"issn-type":[{"value":"1083-4427","type":"print"},{"value":"1558-2426","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,3]]}}}