Performance and state-space analyses of systems using Petri nets
- Author:
- Watson, James Francis, III
- Published:
- Nov 1, 1992.
- Physical Description:
- 1 electronic document
- Access Online:
- hdl.handle.net
- Restrictions on Access:
- Unclassified, Unlimited, Publicly available.
- Summary:
- The goal of any modeling methodology is to develop a mathematical description of a system that is accurate in its representation and also permits analysis of structural and/or performance properties. Inherently, trade-offs exist between the level detail in the model and the ease with which analysis can be performed. Petri nets (PN's), a highly graphical modeling methodology for Discrete Event Dynamic Systems, permit representation of shared resources, finite capacities, conflict, synchronization, concurrency, and timing between state changes. By restricting the state transition time delays to the family of exponential density functions, Markov chain analysis of performance problems is possible. One major drawback of PN's is the tendency for the state-space to grow rapidly (exponential complexity) compared to increases in the PN constructs. It is the state space, or the Markov chain obtained from it, that is needed in the solution of many problems. The theory of state-space size estimation for PN's is introduced. The problem of state-space size estimation is defined, its complexities are examined, and estimation algorithms are developed. Both top-down and bottom-up approaches are pursued, and the advantages and disadvantages of each are described. Additionally, the author's research in non-exponential transition modeling for PN's is discussed. An algorithm for approximating non-exponential transitions is developed. Since only basic PN constructs are used in the approximation, theory already developed for PN's remains applicable. Comparison to results from entropy theory show the transition performance is close to the theoretic optimum. Inclusion of non-exponential transition approximations improves performance results at the expense of increased state-space size. The state-space size estimation theory provides insight and algorithms for evaluating this trade-off.
- Collection:
- NASA Technical Reports Server (NTRS) Collection.
- Note:
- Document ID: 19930015415.
Accession ID: 93N24604.
NASA-CR-193195.
RPI-CIRSSE-129.
NAS 1.26:193195. - Terms of Use and Reproduction:
- Copyright, Distribution as joint owner in the copyright.
- Access Online:
- hdl.handle.net
View MARC record | catkey: 15670856