کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
1705140 | 1012424 | 2012 | 7 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Performance evaluation and model checking in systems modeled as Hybrid Petri nets
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
سایر رشته های مهندسی
مکانیک محاسباتی
پیش نمایش صفحه اول مقاله

چکیده انگلیسی
In this paper, an approach for evaluating the performance measures for process description and model checking based on structural properties and constraint information for typical liquid level processes is discussed. For this purpose, a typical three tank system is considered and modeled using Hybrid Petri nets. Based on the model, a Markovian structure is defined and developed. Performance measures such as arrival distance, throughput distance and queue length for places and service distance, service time and utilization for transitions are determined for the developed Markovian structure under various case studies. Finally, conditions for model checking based on constraint information are derived analytically.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Applied Mathematical Modelling - Volume 36, Issue 8, August 2012, Pages 3941–3947
Journal: Applied Mathematical Modelling - Volume 36, Issue 8, August 2012, Pages 3941–3947
نویسندگان
K. Renganathan, Vidhyacharan Bhaskar,