State Minimization of SP-DEVS

详细信息

下载全文

推荐本文 |

• 作者：Moon Ho Hwang ; Feng Lin
• 刊名：Lecture Notes in Computer Science
• 出版时间：2005
• 出版年：2005
• 期刊代码：99_0302-9743
• 类别：cp
• 卷：3397
• 期：1
• 页码：p.243
• 数据来源：sp

摘要

If there exists a minimization method of DEVS in terms of behavioral equivalence, it will be very useful for analysis of huge and complex DEVS models. This paper shows a polynomial-time state minimization method for a class of DEVS, called schedule-preserved DEVS (SP-DEVS) whose states are finite. We define the behavioral equivalence of SP-DEVS and propose two algorithms of compression and clustering operation which are used in the minimization method.