کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10328947 | 685235 | 2005 | 16 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation](/preview/png/10328947.png)
چکیده انگلیسی
A model-to-model transformation from Dynamic Fault Trees to Stochastic Petri Nets, by means of graph transformation rules, is presented in this paper. Dynamic Fault Trees (DFT) are used for the reliability analysis of complex and large systems and represent by means of gates, how combinations or sequences of component failure events, lead to the failure of the system. DFTs need the state space solution which can be obtained by converting a DFT to a Stochastic Petri Net: this task is expressed by means of graph transformation rules, and is applied to a case of system.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 127, Issue 2, 31 March 2005, Pages 45-60
Journal: Electronic Notes in Theoretical Computer Science - Volume 127, Issue 2, 31 March 2005, Pages 45-60
نویسندگان
Daniele Codetta-Raiteri,