AbstmctThe original proposals of several stochastic Petri net modeling techniques and of generalized stochastic Petri nets (GSPN) in particular were based mainly on the characteristics of their underlying stochastic processes. This led to the use of GSPN only as a shortened notation for the description of stochastic models. Although already quite useful in practice, this approach did not fully ...

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...

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...

Unified Modeling Language (UML) is gaining acceptance to describe the behaviour of systems. It has attracted the attention of researchers that are interested in deriving, automatically, performance evaluation models from system’s descriptions. A required step to automatically produce a performance model (as any executable model) is that the semantics of the description language is formally defi...

In this report we present an extension to Continuous Time Bayesian Networks (CTBN) called Generalized Continuous Time Bayesian Networks (GCTBN). The formalism allows one to model, in addition to continuous time delayed variables (with exponentially distributed transition rates), also non delayed or “immediate” variables, which act as standard chance nodes in a Bayesian Network. This allows the ...

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...

Generalized Stochastic Petri nets (GSPNs) comprise two types of transitions: timed and immediate. Since ring of immediate transitions has priority on ring of timed transitions several properties of the underlying Petri net need not be valid for the GSPN. This article proves that liveness and the existence of home states of equal connict nets, a generalisation of extended free choice nets, carry...

Generalized Stochastic Petri Nets (GSPN), with immediate transitions, are extensively used to model concurrent systems in a wide range of application domains, particularly including software and hardware aspects of computer systems, and their interactions. These models are typically used for system specification, logical and performance analysis, or automatic code generation. In order to keep m...

Web services need to be orchestrated to achieve complex demand. However, existing approaches on Web service composition are mainly based on syntax match. It is very difficult to compose heterogeneous Web services with syntax in accord with function. Gradually, Petri net becomes a powerful system modeling and analysis tools research discrete event dynamic system. In order to solve this problem, ...