Modeling and analysis of concurrent processing systems by temporal petri nets

Date

1987-05

Journal Title

Journal ISSN

Volume Title

Publisher

Texas Tech University

Abstract

Temporal Petri nets, a new class of Petrinets in which timing constraints are represented by the operators of temporal logic, have recently been proposed. Due to the versati1ity of the temporal logic operators to express temporal Tempora1 Petrinets, a new class of Petrinets in which timing constraints are represented by the operators of temporal logic, have recently been proposed. Due to the versati1ity of the temporal logic operators to express temporal assertions, temporal Petri nets are expected to be suitable for describing causal and temporal relationships between events of a system, including eventuality and fairness. In this thesis we investigate the potential of temporal Petrinets as a design/verification tool for concurrent systems through modeling and analysis of the handshake daisy chain arbiters and the alternating bit protocol. We present some methods for analyzing temporal Petri nets. A brief comparison of temporal Petri nets with other verification methods is a1so given.

Description

Keywords

Petri nets, Parallel processing (Electronic computers)

Citation