In: Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'98), 11-14 October 1998, San Diego, CA, pages 125-130. 1998.
Abstract: This paper proposes a set of component-level reduction rules for TPNs. 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, the method works at a coarser level than that in individual transition level, and fewer applications of the rules are needed ti reduce the size of the TPN under analysis. The use and benefits of the proposed reduction rules are illustrated by modeling and analyzing the response time of a command and control system to its external arriving messages.
Keywords: C2 systems, reduction rules, time Petri nets.
Back to the Petri Nets Bibliography