Performance analysis of timed Petri nets by decomposition of the state space

Suciu, Floarea (1998) Performance analysis of timed Petri nets by decomposition of the state space. Masters thesis, Memorial University of Newfoundland.

[img] [English] PDF - Accepted Version
Available under License - The author retains copyright ownership and moral rights in this thesis. Neither the thesis nor substantial extracts from it may be printed or otherwise reproduced without the author's permission.

Download (2565Kb)

Abstract

Performance evaluation of systems is a very important part of system design. Modeling tools which allow the analysis of systems and their behaviors should also provide performance analysis of the modeled system as it is less costly to perform changes at the model level. Petri nets are becoming popular modeling tools that can represent and analyze concurrency, parallelism, synchronization, mutual exclusion and conflicts. However, time and space requirements of the classical approach of exhaustive generation of all possible behaviors of the system (or its state space) grow quickly with the size of the model. An alternative approach based on structural properties can be applied only to particular classes of nets. -- A new way to derive performance measures for timed Petri nets is based on decomposition of the state space. This is a hybrid method that uses both reachability and structural analysis. The state space of the original net is decomposed into state spaces of smaller nets, and these smaller nets are then analyzed by the reachability analysis method. Since the nets are quite simple, reachability analysis is straightforward and cannot be affected by the state explosion problem. The performance indices for smaller nets are then used for performance analysis of the original net.

Item Type: Thesis (Masters)
URI: http://research.library.mun.ca/id/eprint/8547
Item ID: 8547
Additional Information: Bibliography: leaves 63-67.
Department(s): Science, Faculty of > Computer Science
Date: 1998
Date Type: Submission
Library of Congress Subject Heading: Petri nets--Computer simulation; System design--Graphic methods

Actions (login required)

View Item View Item

Downloads

Downloads per month over the past year

View more statistics