期刊名称：International Journal of Computer Science Issues
印刷版ISSN：1694-0784
电子版ISSN：1694-0814
出版年度：2014
卷号：11
期号：6
出版社：IJCSI Press
摘要：In previous work we have proposed the hierarchical modeling in order to reduce the dynamic priority Time Petri Nets (dPTPN) model. In the present paper, we focus on the demonstration of the impact of this modeling on the generation of a reduced states graph. We aim to explore the abstraction of the hierarchical modeling in order to produce a graph describing only the interaction states of a real-time system (RTS). Thus, a new definition of states graph is given in this paper, and the corresponding generation algorithm is detailed.
关键词：dPTPN; RTS; Hierarchical modeling; states graph
