Analysis of discrete‐time stochastic petri nets

Aalst, van der Wmp Wil; Hee, van Km Kees; Reijers, HA Hajo

doi:10.1111/1467-9574.00139

Cited by 33 publications

(38 citation statements)

References 26 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…However, even with the knowledge of the average durations for individual activities, it is not a straightforward task to estimate the overall workflow execution time given the complex process structures, e.g., sequence, iteration, parallelism, and choice [1], [26]. To solve such an issue, two major types of methods are often used in workflow temporal verification.…”

Section: Preliminaries On the Temporal Consistency Modelmentioning

confidence: 99%

“…Finally, the longest paths in different process structures are joined together to form the critical path and its average execution time (i.e., the sum of average activity durations along the critical path) is regarded as the estimation for the workflow execution time. The second type is the probability-based method [1], [26], [27], where joint probability distribution models are obtained for different process structures. Note that in order to obtain the joint distribution models, activity durations are normally assumed to be independent of each other and follow the same types of discrete or continuous distribution models.…”

Section: Preliminaries On the Temporal Consistency Modelmentioning

confidence: 99%

“…On the contrary, probability-based methods are often applied together with stochastic Petri nets SPN [3] and thus the workflow execution time can be better analyzed and estimated based on probability models [1], [26]. However, the accuracy of the probability-based methods may be affected by the error of the assumption on distribution models.…”

Section: Preliminaries On the Temporal Consistency Modelmentioning

confidence: 99%

See 2 more Smart Citations

Preventing Temporal Violations in Scientific Workflows: Where and How

Liu

Yang

Jiang

et al. 2011

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

Abstract-Due to the dynamic nature of the underlying high-performance infrastructures for scientific workflows such as grid and cloud computing, failures of timely completion of important scientific activities, namely, temporal violations, often take place. Unlike conventional exception handling on functional failures, nonfunctional QoS failures such as temporal violations cannot be passively recovered. They need to be proactively prevented through dynamically monitoring and adjusting the temporal consistency states of scientific workflows at runtime. However, current research on workflow temporal verification mainly focuses on runtime monitoring, while the adjusting strategy for temporal consistency states, namely, temporal adjustment, has so far not been thoroughly investigated. For this issue, two fundamental problems of temporal adjustment, namely, where and how, are systematically analyzed and addressed in this paper. Specifically, a novel minimum probability time redundancy-based necessary and sufficient adjustment point selection strategy is proposed to address the problem of where and an innovative genetic-algorithm-based effective and efficient local rescheduling strategy is proposed to tackle the problem of how. The results of large-scale simulation experiments with generic workflows and specific real-world applications demonstrate that our temporal adjustment strategy can remarkably prevent the violations of both local and global temporal constraints in scientific workflows.

show abstract

Section: Preliminaries On the Temporal Consistency Modelmentioning

confidence: 99%

Section: Preliminaries On the Temporal Consistency Modelmentioning

confidence: 99%

Section: Preliminaries On the Temporal Consistency Modelmentioning

confidence: 99%

See 1 more Smart Citation

Preventing Temporal Violations in Scientific Workflows: Where and How

Liu

Yang

Jiang

et al. 2011

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

show abstract

“…Furthermore it is possible to model exogenous shocks, having several impacts on the different stages of the supply network. As Petri nets are a formal modelling language, they provide the possibility to simulate different states of a system by converting the network into a mathematical equation [12]. Therefore Petri nets not only enable the modelling of dependencies and exogenous shocks, but also allow for calculation of impacts and their effects on dependent entities of the supply network.…”

Section: Modelling Approachmentioning

confidence: 99%

An Idea for Modelling Exogenous Shocks on Supply Networks Using Petri Nets

Fridgen

Stepanek

Wolf

2011

2011 IEEE 13th Conference on Commerce and Enterprise Computing

View full text Add to dashboard Cite

Abstract-Almost all major companies are embedded in complex, global supply networks. Exogenous shocks on these networks (e.g. shortages of natural resources, natural disasters) can indirectly impact companies that are not even aware of their dependencies. This short-paper deals with the idea of modeling and analyzing impacts of exogenous shocks on supply networks using Petri nets. It is especially relevant for high-tech industries (wind and solar energy, besides others) as these are highly dependent e.g. upon rare earth metals. Today, 97% of the global rare earth metals supply is controlled by China, which is continuously lowering export rates due to own requirements. The final objective of this research stream will be to provide means to simulate and evaluate the vulnerability of companies against exogenous shocks affecting their supply networks.

show abstract

“…Hence, a number of extensions to the basic Petri net notation have been proposed which explicitly relate to some form of global timing [10,14,16].…”

Section: Introductionmentioning

confidence: 99%