TimeNet - Examples of Extended Deterministic and Stochastic Petri Nets

Transcription

1 TimeNet - Examples of Extended Deterministic and Stochastic Petri Nets Christoph Hellfritsch February 2, 2009 Abstract TimeNet is a toolkit for the performability evaluation of Petri nets. Performability is a composite measure of the performance of a system and it s dependability. This software provides the graphical and interactive modeling of stochastic Petri nets and stochastic colored Petri nets. This document was written in the course of an advanced seminar. It contains four examples of stochastic Petri nets and some results of the analysis and simulation with TimeNet. Examples of stochastic colored Petri nets can be find in [Meis09]. 1 Queue In this chapter a M/M/1/K Markovian queue is modeled. We assume that there are K clients and only one server. The server provides an exclusive service. That means only one client can use this service at the same time. So when two users want to use the service simultaneously one have to wait till the other has finished. The rate of the incoming requests from the servers point of view is the arrival rate λ. The reciprocal of the time the server needs to serve one client is called the service rate µ. Both rates are exponential distributed. To keep the system alive, we assume that λ < µ. In this model we define that every 60 seconds a request arrives (1/λ = 60s) and the server needs 50 seconds to treat a request (1/µ = 50s). The Petri net in Fig. 1 models the behavior above. This net consists of two places and two transitions. The place idle corresponds to the clients that are working on their own. The initial marking is users which is defined on the right hand side in the figure. The place queue contains these clients which want to use the service from the server. But the server can handle only one client simultaneous. So the other tokens in this place have to wait. The transition arrival is an exponential transition with a mean delay of 60 seconds. It models the firing rate of the requests for the service. The transition service models the working time for the service which the server provides. This transition is also exponential distributed with a mean delay of 50 seconds. 1

2 Figure 1: TimeNet model of a queue Let s assume that there were 100 users in the model (users = 100). Refer to the model in Fig. 1 there were 101 states. In the first state are all tokens in the place idle. Then one token is taken from idle and put in queue until all tokens are in the place queue. TimeNet provides a function to calculate the statespace of a model. Fig. 2 shows a screenshot of the result of the statespace estimation with 100 users. And Fig. 3 shows the result of the structure check. Figure 2: Result of a statespace estimation In [BGMT06] and [Seit08] the utilization ρ, mean queue length Q and the mean waiting time in the system W are defined as follows: ρ = mean service time arrival rate = mean interarrival time service rate = λ µ Q = ρ2 1 ρ and W = Q λ. These values have been computed by definition as well as by the stationary analysis of TimeNet. The theoretical values are substantiated by the analysis. Tab. 1 shows the results of the model with 100 users (M/M/1/100 queue). 2

3 Figure 3: Result of a structure check The utilization and thus the mean queue length and waiting time depend on the numbers of users in the queue. TimeNet has the ability to modify one parameter of the model. This is possible during a stationary analysis or a stationary simulation and called experiment. The data of an experiment were saved in the file queue.expresults in the model directory. In the left hand side of Fig. 4 the parameter users has been modified during a stationary simulation. It shows the results of the three measurements defined above as a function of the number of users in the system. Value TimeNet results ρ Q W Table 1: Queue: theoretical values and results of the TimeNet analysis TimeNet also provides the opportunity for a transient analysis of the model. This results in one curve per defined measurement as a function of the model time. The computed data is saved in the file queue.curves in the model directory. The right part of Fig. 4 depict the transient analysis of the measurements. 3

4 Figure 4: Left: results of the experiment; Right: results of the transient analysis 2 Shared Memory Here we regard a simple shared memory system as shown in [BaSi98]. Two processors want to access a common shared memory. Both of them have the same behavior. They work locally for some time, then they request the access to the shared memory and finally they access it. The shared memory is an exclusive and not revocable resource. While one processor accesses the shared memory the other one has to wait till the first has finished it s access. So the time for one cycle of a processor is the sum of the local working time, the memory accessing time and the time the processor has to wait for accessing the shared memory. The net consists of seven places and six transitions. We define that if the shared memory is not in use one processor can access immediately. Because of this two transitions are immediate transitions and the others are exponential transitions. Fig. 5 depicts this model. In the initial marking the two processors p1 and p2 are in the local working process and the shared memory is in idle state. The places processor p1, processor p2 and shared memory idle contain each one token. The delays of the two processors are defined in the middle of Fig. 5. They are named local working time p1 for processor p1 and local working time p2 for processor p2 respectively and belong to the transitions request p1 and request p2 respectively. According to these delays in the next step processor p2 request the shared memory. The transition request p2 fires, the token contained in processor p2 is removed and a token is added in the place wait p2. While the shared memory is idle the processor p2 can acquire the memory immediately. Transition acquire p2 fires, the token in wait p2 is removed and a token is added in access p2. Now processor p2 accesses the shared memory for the 4

5 Figure 5: TimeNet model of a shared memory time memory access time p2. After this time the transition free p2 fires and the net return to it s initial state. Another case is that while processor p2 accesses the shared memory processor p1 ends it s local activities and requests the shared memory. This means that transition request p1 fires, the token contained in processor p1 is removed and a token is added in the place wait p1. Now the shared memory is not available to processor p1. So p1 has to wait till processor p2 has finished it s access to the memory (till transition free p2 fires). Measurement Result utilization (shared memory) utilization (p1) throughput (p1) waiting time (p1) Table 2: Shared Memory: results of the TimeNet analysis For demonstration some measurements have been taken. The utilization of the shared memory and processor p1, the throughput of processor p1 and the waiting time of processor p1. All these measurements are defined in the lower part of Fig. 5. Tab. 2 shows the results of the TimeNet stationary analysis with standard values. 5

6 3 AGV In this section a model of an automated guided vehicle system (AGV) is considered. This AGV is part of an flexible manufacturing system (FMS). This model is similar to that described in [Zimm08]. The FMS consists of three machines (M1, M2 and M3) and two products (A and B). At this point the FMS will be determined as follows. Product A has to pass the machines M1 and M3 and product B has to pass machine M2. There are three transportation operations needed. The raw product has to delivered to the beginning of the machines and the manufactured product has to be taken from the end of the machines. The third required transportation is only for product A between the machines M1 and M2. All products are transported on pallets. Fig. 6 shows the according Petri net. In initial state the place idleagv consists of one token and in the place emptyp are as many tokens as pallets in the system. The exponential transition loadp models the loading time of a pallet with a delay of 4. The loaded pallet is waiting in place loadedp until the AGV is idle. The AGV can transport only one pallet at the same time. The transportation operation is modeled as follows. The pallet has to wait till the AGV is idle (place idleagv has a token). Then the transition waitagv 1 fires immediately so this is a immediate transition. Now the pallet is in the AGV (place inagv 1) for the time defined in the exponential transition AGV 1. Here the transportation delay is defined in the variable AGV delay. The other transportation operations are modeled analogue. Figure 6: AGV: the early incomplete TimeNet model Now the part is at the beginning of the manufacturing process in the place choice. Now it has to be chosen if it should become a part of type A or B. This is done by the immediate transitions parta and partb. Two weights proba and probb are defined on the lower left corner of the model. They belong to the transitions parta and partb respectively. The ratio of these weights is also the ratio of the manufactured parts. The pass of a part through a 6

7 machine is modeled as follows. Assumed that the raw product should become a product of type B. So the token is in the place BwaitM2. Here the part has to wait till machine M2 is ready. Then transition BsM2 fires immediately. The manufacturing process in machine M2 take some amount of time which is modeled by the exponential transition M 2. Now the production is finished and the AGV take the product from the machine. The manufacture of product A is analogue but with two machines and another transportation operation between them. The model is not complete yet. Actual machine M2 can do the same manufacturing steps as machine M3 and vice versa. So product A and product B can be either manufactured in machine M2 or in M3. So an incorporation of the two machines has to be modeled. Fig. 7 shows the complete model. Figure 7: AGV: the complete TimeNet model After passing machine M1 there is a token in the place AwaitM2M3. Now the system has to decide whether the part of type A should be transported to machine M2 or M3. Machine M3 is optimized for the manufacture of product A and machine M2 is optimized for product B. So product A has a longer manufacturing time in machine M2 than in M3, product B vice versa. So the part of type A is transported to machine M3 if it s idle, and only to machine M2 if machine M3 is busy and machine M2 is idle. The immediate transitions AsM3, AsM2 and the places idlem3, idlem2 model this behavior. So if product A arrives in AwaitM2M3 and machine M3 is idle (token in idlem3) then transition AsM3 fires. But if machine M3 is busy transition AsM2 is treated. This transition can only fire if product A is waiting (token in AwaitM2M3), machine M3 is busy (no token in idlem3), machine M2 is idle (token in idlem2) and no part of type B is waiting (no token in BwaitM2M3). Places AinM3, BinM3, AinM2, BinM2 and the transitions M3A, M3B, M2A, M2B models the actual manufacturing steps. The delays of all exponen- 7

8 Transition Delay loadp 4 AGV1/AGV2/AGV3 AGVDelay M1 10 M3A 10 M3B 30 M2A 15 M2B 20 Table 3: AGV: delays of all exponential transitions tial transitions are listed in Tab. 3. Every immediate transition has the priority one. Some typical measurements have been taken. There is only one AGV in the system. The utilization of it is an important factor in the model. The measurement utilization AGV corresponds to it and can be computed by the probability P (place idleagv has no token). The mean number of pallets that are not in use corresponds with the mean number of tokens in the place emptyp. The measurement empty pallets computes this value. The utilization of machine M1 corresponds to the probability P (place AinM 1 has a token). For machines M2 and M3 the probabilities P (place idlem2 has no token) and P (place idlem 3 has no token) respectively are computed because these machines are in use if there is no token in the idle place. Further on the throughputs of the machines are measured. For example the throughput of machine M1 represents the production of parts of type A. This is computed by utilization of machine M1 divided by the manufacturing time of one part in machine M1 (delay of transition M1). The throughput of transition M1 is equal to the sum of the throughputs of transitions M2A and M3A. The simulation with TimeNet confirms this fact. Thus the production of part B is represented by the added throughputs of transitions M2B and M3B. Measurement Result utilization of AGV number of empty pallets utilization of M utilization of M utilization of M throughput of M throughput of M3A throughput of M3B throughput of M2A throughput of M2B Table 4: AGV: results of the simulation 8

9 For the calculation of these measurements (which are defined below the model in Fig. 7) a simulation with TimeNet has been run. The results are shown in Tab. 4. The parameter of the simulation are the standard ones except for the maximum relative error and the permitted difference for probability measures close to 0.0 or 1.0. These two values has been chosen to one. Further informations to the simulation parameters can be found in the TimeNet manual. 4 GSM-R This is an example of an GSM-R (Global System for Mobile Communications Rail(way) as in [Zimm08]). In GSM-R three main failures can occur. The first is a transmission error. Your transmissions get lost but the connection is still established. This can occur because of a temporarily bad radio signal condition. The second is a complete loss of the connection. This is detected by the train hardware after some timeout. A new connection has to be established. In few cases the establishment failed so that it has to be started again. The third failure are handovers. They occure when the train passes the border between two neighbored communication cells. Then the trains hardware has to connect to the next base transceiver station (BTS). The behavior described above is modeled in the Petri net in Fig. 8. The transitions delays have been chosen as in [Zimm08]. One second in real time is equivalent to one unit of model time. All firing delays has a technical background. Figure 8: TimeNet model of a GSM-R The Petri net can be seen as a state machine. At the beginning only the place connected has one token. This means that the GSM-R link is established correctly. 9

10 The upper left branch of Fig. 8 models the transmission errors. The exponential transition startburst models the beginning of an burst. It s required that the mean time of the occurrence of a transmission error is greater than or equal 7 seconds in 95% of all cases. The density function and the distribution function of the exponential distribution are f(x) = λe λx and F (x) = 1 e λx. Hence the parameter λ can be calculated to λ = ln p x with probability p = 0.95 and x = 7 and implicates a mean delay of 1/λ = seconds for transition startburst. Transmission errors takes less than 1 second in 95% of all cases. So the delay of transition endburst is set to because of 1 λ = x with probability p = 0.05 and x = 1. ln p The lower left branch of Fig. 8 models a handover. Under the assumption that the mean distance between two BTS is 7 km and the train speeds up to 500 km/h a handover occurs every 50.4 seconds. The transition cellborder models the crossing of the cell border. It s an exponential transition with the mean delay of The reconnection is modeled with the deterministic transition reconnect. It is specified that this takes 300 ms. The right part of Fig. 8 models the complete loss of the connection. This occurs only times per second or every seconds. The exponential transition loss models this delay. To indicate the loss requires circa one second but not more than one second. The deterministic transition indicate models this behavior. Now the connection loss is indicated and the trains hardware tries to reconnect the system immediately. This succeeds in 99.9% of all cases. Otherwise the re-establishment is canceled after 7.5 seconds and retried. The weights of the immediate transitions estp (weight = 999) and failp (weight = 1) models the probabilities of the success/fail of reconnection. The waiting time in fault is modeled by the deterministic transition fail with a delay of 7.5. If the establishment succeeds it takes a random time to reconnect to the BTS but less than 5 seconds in 95% of all cases. Therefor the transition connect is exponential distributed with a delay of 0.6. Tab. 5 shows the result computed by the stationary analysis of this Petri net with TimeNet. The calculation equations of all measurements are situated in the lower part of the model in Fig. 8. The values of the TimeNet analysis have only 7 significant digits. So the measurements m loss indication, m establish and m estfail can not be taken as a reference. The exact values can be taken from [Zimm08, p. 297]. 10

11 Place/State Numerical Probability Simulated Probability Connected Burst Handover Loss indication Establish Estfail Table 5: GSM: comparison of numerical and simulated results 5 Summary This document describes four examples of stochastic Petri nets: a queue, a shared memory, an AGV and a GSM-R system. These Petri nets were modeled in TimeNet and some analytical methods of TimeNet has been tested on them. [Meis09] discuss some examples of stochastic colored Petri nets. A Literature References [BaSi98] G. Balbo und M. Silva. Performance Models for Discrete Event Systems with Synchronisations: Formalisms and Analysis Techniques, [BGMT06] Gunter Bolch, Stefan Greiner, Hermann de Meer und Kishor S. Trivedi. Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications, [Meis09] [Seit08] [Zimm08] Andreas Meister. TimeNet - Examples of stochastic coloured Petri Nets, Institut für Technische Informatik und Ingenieurinformatik, FG System- und Software-Engineering, Jochen Seitz. Computersimulation nachrichtentechnischer Systeme, Institut für Informationstechnik, FG Kommunikationsnetze, Armin Zimmermann. Stochastic Discrete Event Systems: Modeling, Evaluation, Applications,