کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
426751 | 686259 | 2014 | 23 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Markov Automata: Deciding weak bisimulation by means of non-naïvely vanishing states
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Markov Automata: Deciding weak bisimulation by means of non-naïvely vanishing states Markov Automata: Deciding weak bisimulation by means of non-naïvely vanishing states](/preview/png/426751.png)
چکیده انگلیسی
This paper develops a decision algorithm for weak bisimulation on Markov Automata (MA). For this purpose, different notions of vanishing states (a concept originating from the area of Generalised Stochastic Petri Nets) are defined. In particular, non-naïvely vanishing states are shown to be essential for relating the concepts of (state-based) naïve weak bisimulation and (distribution-based) weak bisimulation. The bisimulation algorithm presented here follows the partition-refinement scheme and has exponential time complexity.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information and Computation - Volume 237, October 2014, Pages 151–173
Journal: Information and Computation - Volume 237, October 2014, Pages 151–173
نویسندگان
Johann Schuster, Markus Siegle,