Korbicz, Józef (1951- ) - red. ; Uciński, Dariusz - red.
In order to evaluate the performance of computer and communication systems under realistic boundary conditions, adequate load models are urgently required. It is desirable to derive those models directly from load measurements. In this paper, Petri net based' models for users of innovative communication systems are presented. First, a survey of basic requirements to a formal load description technique is given. ; A starting point of our technique is an elementary user modeled by a Petri net being an automaton with time factor. Then basic compositions of elementary users such as sequential, alternative, and iterative compositions are introduced. Finally, the parallel compositions of elementary users are considered. In order to define the parallel composition of many users with similar behaviour, equivalence relations between users are defined.
Zielona Góra: Uniwersytet Zielonogórski
AMCS, volume 4, number 4 (1994) ; kliknij tutaj, żeby przejść
Biblioteka Uniwersytetu Zielonogórskiego
2024-11-05
2020-07-29
96
https://zbc.uz.zgora.pl/publication/63951
Nazwa wydania | Data |
---|---|
Formal description technique to support load modelling for innovative communication systems | 2024-11-05 |
Feix, Reiner Wolfinger, Bernd Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Beliczyński, Bartłomiej - red.
Krasoń, Ewa Kaczorek, Tadeusz - ed.
Trzaska, Zdzisław W. Kaczorek, Tadeusz - ed.
Xu, Li Saito, Osami Abe, Kenichi Kaczorek, Tadeusz - ed.
Young, K. David Yu, Xinghuo - red.
Xu, Jian-Xin Song, Yanbin Yu, Xinghuo - red.
Stotsky, Alexander A. Hedrick, J. Karl Yip, P.P. Yu, Xinghuo - red.