{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:34:01Z","timestamp":1729622041407,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/prdc.2004.1276592","type":"proceedings-article","created":{"date-parts":[[2004,6,10]],"date-time":"2004-06-10T14:19:45Z","timestamp":1086877185000},"page":"363-372","source":"Crossref","is-referenced-by-count":5,"title":["Stochastic Petri nets and inheritance for dependability modelling"],"prefix":"10.1109","author":[{"given":"S.","family":"Bernardi","sequence":"first","affiliation":[]},{"given":"S.","family":"Donatelli","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63139-9_30"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44919-1_7"},{"key":"15","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-65306-6","volume":"1491","author":"reisig","year":"1998","journal-title":"Lectures on Petri Nets I Basic Models"},{"key":"16","article-title":"Inheritance of dynamic behavior in UML","author":"van der aalst","year":"2002","journal-title":"Proc of the 2th Workshop on Modelling of Objects Components and Agents MOCA'02"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/0026-2714(95)00194-8"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2003.1176988"},{"journal-title":"The UltraSAN Software Tool","year":"0","key":"11"},{"key":"12","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1007\/3-540-55610-9_180","article-title":"A survey of equivalence notions for net based systems","volume":"609","author":"pomello","year":"1992","journal-title":"Lecture Notes in Computer Science Advances in Petri Nets 1992"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.2003.1231544"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2001.941422"},{"journal-title":"Modelling with Generalized Stochastic Petri Nets","year":"1995","author":"ajmone marsan","key":"1"},{"journal-title":"Unified Modeling Language Specification Version 1 5","year":"2003","key":"10"},{"key":"7","article-title":"Fundamental concepts of dependability","author":"laprie","year":"2001","journal-title":"Technical Report"},{"key":"6","article-title":"The PSR methodology: Integrating hardware and software models","volume":"1091","author":"donatelli","year":"1996","journal-title":"Proc of the 17th International Conference in Application and Theory of Petri Nets ICATPN '96"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2002.1028944"},{"key":"4","article-title":"Methodology for the generation of the modeling scenarios starting from the requisite specifications and its application to the collected requirements","author":"bernardi","year":"2002","journal-title":"Deliverable D1 3b - DepAuDE IST Project 25434"},{"key":"9","article-title":"Modelli teorici e pratici per la rappresentazione del processo di guasto","author":"mura","year":"0","journal-title":"Progetto di Ricerca PDCC-ENEA Aspetti Specifici e Tecniche di Tolleranza ai Guasti"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-79789-7_1"}],"event":{"name":"10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004.","location":"Papeete, Tahiti, French Polynesia"},"container-title":["10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8995\/28541\/01276592.pdf?arnumber=1276592","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T07:56:23Z","timestamp":1497599783000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1276592\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/prdc.2004.1276592","relation":{},"subject":[]}}