 This paper discusses models for manufacturing systems that are based on generalized stochastic Petri nets and on Markov decision processes. We employ generalized stochastic Petri nets to model manufacturing processes with high degree of uncertainty due to the human operator behavior. We extend the usual generalized stochastic Petri nets by allowing imprecision about probabilities to be explic...

To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...

Petri Nets are used in the field of computer science for modeling system performance. In this paper, Generalized Stochastic Petri Net (GSPN) is used to model multiprocessor parallel processing architectures. This paper by means of Generalized Stochastic Petri Nets proposes an approach to model the performance evaluation of the multiprocessor system in a greater detail, and describes the model o...

System analysis is often needed with respect to both qualitative and quantitative aspects. In the last decades, several formalisms have been developed that attempt to combine these aspects in one description. Present emphasis is on Stochastic Petri Nets. Amongst others, one disadvantage of these formalisms lies with the diiculties when describing scheduling strategies with Petri Net elements. T...

to evaluate and predict component-based software security, a two-dimensional model of software security is proposed by stochastic petri net in this paper. in this approach, the software security is modeled by graphical presentation ability of petri nets, and the quantitative prediction is provided by the evaluation capability of stochastic petri net and the computing power of markov chain. each...

A MATLAB toolbox has been developed to handle the basic problems of discrete event dynamical systems that are modeled by Petri nets. In the Petri Net Toolbox five types of Petri nets (untimed, transition-timed, place-timed, stochastic and generalized stochastic), with finite or infinite capacity, can be used. A user-friendly graphical interface allows activating three simulation modes (accompan...

This paper handles the problem of uncertainty in assessment the safety systems using Generalized Stochastic Petri Nets (GSPN). The basic probabilities usually treated to define transition in petri nets (PNs) are substituted by fuzzy number. Experts represent the uncertainties regarding the parameters of the components of systems to assess the influence of this uncertainty on safety system unava...

The quality of an architectural design of a software system has a great influence on achieving non-functional requirements of a system. A regular software development project is often influenced by non-functional factors such as the customers' expectations about the performance and reliability of the software as well as the reduction of underlying risks. The evaluation of non-functional paramet...