G-networks with multiple classes of negative and positive customers
Theoretical Computer Science
Product form solution for a class of PEPA models
IPDS '98 Proceedings of the third IEEE international performance and dependability symposium on International performance and dependability symposium
Open, Closed, and Mixed Networks of Queues with Different Classes of Customers
Journal of the ACM (JACM)
Performance Modelling of Communication Networks and Computer Architectures (International Computer S
Performance Modelling of Communication Networks and Computer Architectures (International Computer S
Performance Evaluation
IEEE Transactions on Software Engineering
Turning back time in Markovian process algebra
Theoretical Computer Science
Separable equilibrium state probabilities via time reversal in Markovian process algebra
Theoretical Computer Science - Quantitative aspects of programming languages (QAPL 2004)
A general performance model interchange format
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
Multiclass G-Networks of Processor Sharing Queues with Resets
ASMTA '08 Proceedings of the 15th international conference on Analytical and Stochastic Modeling Techniques and Applications
Stochastic Automata Networks with Master/Slave Synchronization: Product Form and Tensor
ASMTA '09 Proceedings of the 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications
Short communication: Product-forms and functional rates
Performance Evaluation
Complex synchronizations in Markovian models: a tensor-based proof of product form
Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
Process Algebraic Non-product-forms
Electronic Notes in Theoretical Computer Science (ENTCS)
A general result for deriving product-form solutions in markovian models
Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering
Collaboration of discrete-time Markov chains: Tensor and product form
Performance Evaluation
A numerical algorithm for the solution of product-form models with infinite state spaces
EPEW'10 Proceedings of the 7th European performance engineering conference on Computer performance engineering
State-dependent rates and semi-product-form via the reversed process
EPEW'10 Proceedings of the 7th European performance engineering conference on Computer performance engineering
Performance engineering with product-form models: efficient solutions and applications
Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
G-networks with synchronised arrivals
Performance Evaluation
An initiative for a classified bibliography on G-networks
Performance Evaluation
Product-form solution in PEPA via the reversed process
Network performance engineering
Performance engineering and stochastic modelling
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Markovian queueing network with complex synchronizations: Product form and tensor
Performance Evaluation
Multi-class network with phase type service time and group deletion signal
EPEW'11 Proceedings of the 8th European conference on Computer Performance Engineering
TwoEagles: a model transformation tool from architectural descriptions to queueing networks
EPEW'11 Proceedings of the 8th European conference on Computer Performance Engineering
Methodological construction of product-form stochastic Petri nets for performance evaluation
Journal of Systems and Software
Bibliography on G-networks, negative customers and applications
Mathematical and Computer Modelling: An International Journal
Analysis of stochastic Petri nets with signals
Performance Evaluation
Product-form results for two-station networks with shared resources
Performance Evaluation
Multiple class G-networks with restart
Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering
Product-forms in batch networks: Approximation and asymptotics
Performance Evaluation
Hi-index | 0.00 |
Stochastic networks defined by a collection of cooperating agents are solved for their equilibrium state probability distribution by a new compositional method. The agents are processes formalised in a Markovian Process Algebra, which enables the reversed stationary Markov process of a cooperation to be determined symbolically under appropriate conditions. From the reversed process, a separable (compositional) solution follows immediately for the equilibrium state probabilities. The well-known solutions for networks of queues (Jackson's theorem) and G-networks (with both positive and negative customers) can be obtained simply by this method. Here, the reversed processes, and hence product-form solutions, are derived for more general cooperations, focussing on G-networks with chains of triggers and generalised resets, which have some quite distinct properties from those proposed recently. The methodology's principal advantage is its potential for mechanisation and symbolic implementation; many equilibrium solutions, both new and derived elsewhere by customised methods, have emerged directly from the compositional approach. As further examples, we consider a known type of fork-join network and a queueing network with batch arrivals.