Component-Level Reduction Rules for Time Petri Nets Based on DTPN

Abstract

Time Petri Nets (TPNs) are a popular Petri net model for specification and verification of real-time systems. \u00a0A \u00a0widely \u00a0applied \u00a0method \u00a0for \u00a0analyzing \u00a0Petri \u00a0nets \u00a0is \u00a0component-level \u00a0reduction \u00a0analysis. \u00a0The existing technique for component-level reduction analysis transforms a TPN component to a constant size of simple \u00a0one \u00a0while \u00a0maintains \u00a0the \u00a0net \u00a0external \u00a0observable \u00a0timing \u00a0properties, \u00a0but \u00a0it \u00a0neglects \u00a0the \u00a0internal properties of component such as synchronization, conflict and concurrency. Based on Delay Time Petri Net (DTPN), \u00a0the \u00a0paper \u00a0transforms \u00a0a \u00a0TPN \u00a0component \u00a0to \u00a0DTPN \u00a0model \u00a0in \u00a0order \u00a0to \u00a0preserve \u00a0such \u00a0properties \u00a0as synchronization, conflict and concurrency during the reduction. For the sake of analyzing the DTPN model, the paper proposes new schedule analysis method. Finally, reduction rules based on DTPN are applied to the TPN model analysis in the command and control (C2) system.