Performance evaluation and model checking in systems modeled as Hybrid Petri nets

详细信息	查看全文 | 推荐本文 |

• 作者：K. Renganathan^a ; ¹ ; ^{renganathan_1980@yahoo.com} ; Vidhyacharan Bhaskar^b ; ^{meetvidhyacharan@yahoo.com}
• 关键词：Hybrid Petri nets ; Markovian structure ; Performance evaluation ; Model checking ; Observability ; Qualitative analysis
• 刊名：Applied Mathematical Modelling
• 出版年：2012
• 期刊代码：6_0307904x
• 类别：cp
• 出版时间：August, 2012
• 卷：36
• 期：8
• 页码：3941-3947
• 文件大小：497 K

摘要

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.