Component-level reduction rules for time Petri nets with application in C2 systems

In this paper, we propose a set of component-level reduction rules for TPN. Each of these reduction rules transforms a TPN component to a constant size of simple one while maintains the net´s external observable timing properties. Consequently, our method works at a coarser level than that works in individual transition level, and fewer applications of our rules are needed to reduce the size of the TPN under analysis. We illustrate the use and benefits of our reduction rules by modeling and analyzing the response time of a command and control system to its external arriving messages.