Throughput approximation of decision free processes using decomposition
暂无分享,去创建一个
[1] Peter Buchholz. Markovian process algebra: Composition and equiva-lence , 1994 .
[2] Holger Hermanns,et al. Gspn and Spa Compared in Practice Modelling a Distributed Mail System , 1995 .
[3] I. G. BONNER CLAPPISON. Editor , 1960, The Electric Power Engineering Handbook - Five Volume Set.
[4] Tommaso Bolognesi. A graphical composition theorem for networks of LOTOS processes , 1990, Proceedings.,10th International Conference on Distributed Computing Systems.
[5] Marina Ribaudo. On the Aggregation Techniques in Stochastic Petri Nets and Stochastic Process Algebras , 1995, Comput. J..
[6] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[7] Susanna Donatelli,et al. A comparison of performance evaluation process algebra and generalized stochastic Petri nets , 1995, Proceedings 6th International Workshop on Petri Nets and Performance Models.
[8] Manuel Silva Suárez,et al. Approximate Throughput Computation of Stochastic Marked Graphs , 1994, IEEE Trans. Software Eng..
[9] Peter G. Harrison,et al. Exploiting Quasi-reversible Structures in Markovian Process Algebra Models , 1995, Comput. J..
[10] Holger Hermanns,et al. Formal Characterisation of Immediate Actions in SPA with Nondeterministic Branching , 1995, Comput. J..
[11] H. Hermanns,et al. Syntax , Semantics , Equivalences , and Axioms for MTIPP y , 1994 .
[12] Jane Hillston,et al. A compositional approach to performance modelling , 1996 .
[13] François Baccelli,et al. Quantitative Methods in Parallel Systems , 1995, Esprit Basic Research Series.
[14] Marina Ribaudo,et al. Stochastic Petri net semantics for stochastic process algebras , 1995, Proceedings 6th International Workshop on Petri Nets and Performance Models.
[15] A. Desrochers,et al. An Approximation Method For The Performance Analysis Of Manufacturing Systems Based On GSPNs , 1992, Proceedings of the Third International Conference on Computer Integrated Manufacturing,.
[16] Manuel Silva Suárez,et al. Improving the linearly based characterization of P/T nets , 1991, Applications and Theory of Petri Nets.
[17] Roberto Gorrieri,et al. Extended Markovian Process Algebra , 1996, CONCUR.
[18] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[19] Norbert Götz,et al. Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras , 1993, Performance/SIGMETRICS Tutorials.
[20] Matteo Sereno. Towards a Product Form Solution for Stochastic Process Algebras , 1995, Comput. J..