Loading...
Please wait, while we are loading the content...
Similar Documents
Discrete deterministic and stochastic petri nets
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Zijal, Robert Ciardo, Gianfranco |
| Copyright Year | 1996 |
| Description | Petri nets augmented with timing specifications gained a wide acceptance in the area of performance and reliability evaluation of complex systems exhibiting concurrency, synchronization, and conflicts. The state space of time-extended Petri nets is mapped onto its basic underlying stochastic process, which can be shown to be Markovian under the assumption of exponentially distributed firing times. The integration of exponentially and non-exponentially distributed timing is still one of the major problems for the analysis and was first attacked for continuous time Petri nets at the cost of structural or analytical restrictions. We propose a discrete deterministic and stochastic Petri net (DDSPN) formalism with no imposed structural or analytical restrictions where transitions can fire either in zero time or according to arbitrary firing times that can be represented as the time to absorption in a finite absorbing discrete time Markov chain (DTMC). Exponentially distributed firing times are then approximated arbitrarily well by geometric distributions. Deterministic firing times are a special case of the geometric distribution. The underlying stochastic process of a DDSPN is then also a DTMC, from which the transient and stationary solution can be obtained by standard techniques. A comprehensive algorithm and some state space reduction techniques for the analysis of DDSPNs are presented comprising the automatic detection of conflicts and confusions, which removes a major obstacle for the analysis of discrete time models. |
| File Size | 1213905 |
| Page Count | 26 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_19970023130 |
| Archival Resource Key | ark:/13960/t5p896w15 |
| Language | English |
| Publisher Date | 1996-12-01 |
| Access Restriction | Open |
| Subject Keyword | Mathematical Models Stochastic Control Markov Processes Time Dependence Algorithms Petri Nets Markov Chains Determinants Systems Analysis Functions Mathematics Complex Systems Ntrs Nasa Technical Reports Server (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Technical Report |
