Hierarchical modeling impact on states graph generation for the dynamic Priority Time Petri Nets
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.
Keywords: dPTPN, RTS, Hierarchical modeling, states graph
Download Full-Text
ABOUT THE AUTHORS
Adel Mahfoudhi
Adel MAhfoudhi is currently an Associate Professor at the University of Taif in Saudi Arabia. He obtained a Diploma in computer engineering in 1992 from the University of Monastir in Tunisia, received his Ph.D. degree in Computer Engineering in 1997 from the University of Valenciennes in France. His current research interests are formal methods for Embedded Real Time System modeling and verification. He is author/co-author of several papers in international conferences and journals
Walid Karamti
Walid Karamti received a Master degree in Computer science in 2010 from the University of Sfax, Tunisia where he is now completing his Ph.D. thesis. His fields of interest are Real-Time System, Multiprocessor architecture and Model checking methods for scheduling analysis.
Adel Mahfoudhi
Adel MAhfoudhi is currently an Associate Professor at the University of Taif in Saudi Arabia. He obtained a Diploma in computer engineering in 1992 from the University of Monastir in Tunisia, received his Ph.D. degree in Computer Engineering in 1997 from the University of Valenciennes in France. His current research interests are formal methods for Embedded Real Time System modeling and verification. He is author/co-author of several papers in international conferences and journals
Walid Karamti
Walid Karamti received a Master degree in Computer science in 2010 from the University of Sfax, Tunisia where he is now completing his Ph.D. thesis. His fields of interest are Real-Time System, Multiprocessor architecture and Model checking methods for scheduling analysis.
