Constructing large Generalized Stochastic Petri Nets (GSPN) by hierarchical composition of smaller components is a promising way to cope with the complexity of the design process for models of real hardware and software systems. The composition of nets is inspired by process algebraic operators. A solid theoretical framework of such operators relies on equivalences that are substitutive with re...

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

Current Web service choreography proposals, such as WSCI and BPEL, provide notations for describing the message flows in Web service collaborations. The kernel of WSCI consists of simple communication primitives that may be combined using control-flow constructs expressing sequence, branching, parallelism, synchronization, etc. Many efforts have been made on functional formalization and propert...

Problem statement: WiMAX supports multiple types of traffic such as data, voice and video. Each flow requires a certain minimum bandwidth to achieve its QoS. Bandwidth allocation to traffic classes should be in such a way that fairness criteria is met with. Hence, we propose a dynamic bandwidth allocation mechanism to achieve fair and efficient allocation. Approach: We present a Generalized Sto...

As hardware becomes faster and bandwidth greater, the determination of the performance of software based systems during design, known as Software Performance Engineering (SPE), is a growing concern. A recent seminar of experts at Dagstuhl and the First International Workshop on Software and Performance have both highlighted the need to bring performance evaluation into the software design proce...

As hardware becomes faster and bandwidth greater, the determination of the performance of software based systems during design, known as Software Performance Engineering (SPE), is a growing concern. A recent seminar of experts at Dagstuhl and the First International Workshop on Software and Performance have both highlighted the need to bring performance evaluation into the software design proce...

Concurrent service systems are modeled using the Generalized Stochastic Petri Nets (GSPN) to account for the multiple asynchronous activities within the system. The simulated operation of the GSPN modeled system is then optimized using the Particle Swarm Optimization (PSO) meta-heuristic algorithm. The objective function consists of the service costs and the waiting costs. Service cost is the c...

This paper describes a simulation tool for the analysis of complex jobs described in the form of task graphs. The simulation procedure relies on the PN-based topological representation of the task graph that takes advantage of directly modeling precedence constraints and other characteristics inherent in Generalized Stochastic Petri Nets (GSPN). The GSPN representation is enhanced with enabling...

The strong coupling of software and physical processes in the emerging field motivates the development of new methods to respond to dependability in both the cyber and physical domains. Two kinds of definitions of Cyber-Physical System (CPS) from the view of resource, service and process is proposed at first. In addition, the dependable Model of Cyber-Physical Home Control System is presented b...

This paper describes the concept of workflow modeling using Generalized Stochastic Petri Nets (GSPN) for the Digital Publishing business process and how the attributes of dependability are measured in a quantitative form. These are measured from the workflow model itself, improving the analysis of a workflow model. Applying these new measure concepts to the general Digital Publishing pre-press ...