Approximate Analysis of Fork/Join Synchronization in Parallel Queues
IEEE Transactions on Computers
Performance Analysis of Parallel Processing Systems
IEEE Transactions on Software Engineering
Analysis of the Fork-Join Queue
IEEE Transactions on Computers
Acyclic fork-join queuing networks
Journal of the ACM (JACM)
A Decomposition Procedure for the Analysis of a Closed Fork/Join Queueing System
IEEE Transactions on Computers
Interpolation approximations for symmetric Fork-Join queues
Performance '93 Proceedings of the 16th IFIP Working Group 7.3 international symposium on Computer performance modeling measurement and evaluation
Mean value technique for closed fork-join networks
SIGMETRICS '99 Proceedings of the 1999 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Modelling with Generalized Stochastic Petri Nets
ACM SIGMETRICS Performance Evaluation Review - Special issue on Stochastic Petri Nets
Computing Performance Bounds of Fork-Join Parallel Programs Under a Multiprocessing Environment
IEEE Transactions on Parallel and Distributed Systems
Response Time Analysis of Parallel Computer and Storage Systems
IEEE Transactions on Parallel and Distributed Systems
Approximate closed-form aggregation of a fork-join structure in generalised stochastic petri nets
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
Queueing models of RAID systems with maxima of waiting times
Performance Evaluation
Closed form approximations for steady state probabilities of a controlled fork-join network
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
On parametric steady state analysis of a generalized stochastic petri net with a fork-join subnet
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
Hi-index | 0.00 |
Fork-join structures are important for modelling parallel and distributed systems where coordination and synchronisation occur, but their performance analysis is difficult. The study presented in this paper is motivated by the need to calculate performance measures for computer controlled (agile) manufacturing systems. We consider the manufacture of a class of products made from two components that are created by two parallel production lines. The components are then assembled, requiring synchronisation of the two lines. The products are only created on request from the client. The production lines need to be controlled so that one line does not get ahead of the other by more than a certain amount, N, a parameter of the system. We model this system with a Generalised Stochastic Petri Net, where N is the initial marking of a control place. The customer requests and the two production line rates are modelled by exponential distributions associated with three timed transitions in the model. We use TimeNET to calculate the stationary token distribution of the GSPN for a wide range of the rates as N increases. This reveals that the steady state probabilities converge. We characterise the range of transition rates for which useful convergence occurs and provide a method for obtaining the steady state probabilities to the desired accuracy for arbitrary N.