Compositional time Petri nets and reduction rules

Document Type

Article

Publication Date

8-1-2000

Abstract

This paper introduces compositional time Petri net (CTPN) models. A CTPN is a modularized time Petri net (TPN), which is composed of components and connectors. The paper also proposes a set of component-level reduction rules for TPNs. Each of these reduction rules transforms a TPN component to a very simple one while maintaining the net's external observable timing properties. Consequently, the proposed method works at a coarse level rather than at an individual transition level. Therefore, one requires significantly fewer applications to reduce the size of the TPN under analysis than those existing ones for TPNs. The use and benefits of CTPNs and reduction rules are illustrated by modeling and analyzing the response time of a command and control system to its external arriving messages.

Identifier

0034250302 (Scopus)

Publication Title

IEEE Transactions on Systems Man and Cybernetics Part B Cybernetics

External Full Text Location

https://doi.org/10.1109/3477.865173

ISSN

10834419

First Page

562

Last Page

572

Issue

4

Volume

30

Grant

HDR-9707076

Fund Ref

National Science Foundation

This document is currently not available here.

Share

COinS