performance estimation with petri nets
DESCRIPTION
Performance estimation and resource planning using Timed Process Petri Nets. Case Study: A Secure Database SystemTRANSCRIPT
![Page 1: Performance estimation with petri nets](https://reader034.vdocuments.site/reader034/viewer/2022042700/559b065a1a28ab6e758b4616/html5/thumbnails/1.jpg)
On the Performance Estimation and Resource
Optimization in Process Petri Nets
Feliciano Colella
November 25, 2014
![Page 2: Performance estimation with petri nets](https://reader034.vdocuments.site/reader034/viewer/2022042700/559b065a1a28ab6e758b4616/html5/thumbnails/2.jpg)
Introduction
I Timed Process Petri Nets (TPPN).I Vector of average times of transitions;I Vector of rates associated to transitions.
I De�ning LPPs in order to �nd Bottlenecks of the net.
I Iterative strategy is weak and slow → Heuristic works better.
I Case Study: A Secure Database System (SDBS).
1. Use Case Diagram;2. Sequence Diagram;3. Petri Net modelling (Network + Parameters);4. Sensitivity Analysis.
Feliciano Colella Formal Method - Process Petri Nets November 25, 2014 2 / 8
![Page 3: Performance estimation with petri nets](https://reader034.vdocuments.site/reader034/viewer/2022042700/559b065a1a28ab6e758b4616/html5/thumbnails/3.jpg)
Introduction
I Timed Process Petri Nets (TPPN).I Vector of average times of transitions;I Vector of rates associated to transitions.
I De�ning LPPs in order to �nd Bottlenecks of the net.
I Iterative strategy is weak and slow → Heuristic works better.
I Case Study: A Secure Database System (SDBS).
1. Use Case Diagram;2. Sequence Diagram;3. Petri Net modelling (Network + Parameters);4. Sensitivity Analysis.
Feliciano Colella Formal Method - Process Petri Nets November 25, 2014 2 / 8
![Page 4: Performance estimation with petri nets](https://reader034.vdocuments.site/reader034/viewer/2022042700/559b065a1a28ab6e758b4616/html5/thumbnails/4.jpg)
Introduction
I Timed Process Petri Nets (TPPN).I Vector of average times of transitions;I Vector of rates associated to transitions.
I De�ning LPPs in order to �nd Bottlenecks of the net.
I Iterative strategy is weak and slow
→ Heuristic works better.
I Case Study: A Secure Database System (SDBS).
1. Use Case Diagram;2. Sequence Diagram;3. Petri Net modelling (Network + Parameters);4. Sensitivity Analysis.
Feliciano Colella Formal Method - Process Petri Nets November 25, 2014 2 / 8
![Page 5: Performance estimation with petri nets](https://reader034.vdocuments.site/reader034/viewer/2022042700/559b065a1a28ab6e758b4616/html5/thumbnails/5.jpg)
Introduction
I Timed Process Petri Nets (TPPN).I Vector of average times of transitions;I Vector of rates associated to transitions.
I De�ning LPPs in order to �nd Bottlenecks of the net.
I Iterative strategy is weak and slow → Heuristic works better.
I Case Study: A Secure Database System (SDBS).
1. Use Case Diagram;2. Sequence Diagram;3. Petri Net modelling (Network + Parameters);4. Sensitivity Analysis.
Feliciano Colella Formal Method - Process Petri Nets November 25, 2014 2 / 8
![Page 6: Performance estimation with petri nets](https://reader034.vdocuments.site/reader034/viewer/2022042700/559b065a1a28ab6e758b4616/html5/thumbnails/6.jpg)
Introduction
I Timed Process Petri Nets (TPPN).I Vector of average times of transitions;I Vector of rates associated to transitions.
I De�ning LPPs in order to �nd Bottlenecks of the net.
I Iterative strategy is weak and slow → Heuristic works better.
I Case Study: A Secure Database System (SDBS).
1. Use Case Diagram;2. Sequence Diagram;3. Petri Net modelling (Network + Parameters);4. Sensitivity Analysis.
Feliciano Colella Formal Method - Process Petri Nets November 25, 2014 2 / 8
![Page 7: Performance estimation with petri nets](https://reader034.vdocuments.site/reader034/viewer/2022042700/559b065a1a28ab6e758b4616/html5/thumbnails/7.jpg)
The Problem
Feliciano Colella Formal Method - Process Petri Nets November 25, 2014 3 / 8
![Page 8: Performance estimation with petri nets](https://reader034.vdocuments.site/reader034/viewer/2022042700/559b065a1a28ab6e758b4616/html5/thumbnails/8.jpg)
The Model
The Network ...
Feliciano Colella Formal Method - Process Petri Nets November 25, 2014 4 / 8
![Page 9: Performance estimation with petri nets](https://reader034.vdocuments.site/reader034/viewer/2022042700/559b065a1a28ab6e758b4616/html5/thumbnails/9.jpg)
The Model
... and its parameters.
Figure: (a), (c) Duration of the exponential transition in the Net.
Figure: (b) Number of instances of each resource.
Feliciano Colella Formal Method - Process Petri Nets November 25, 2014 5 / 8
![Page 10: Performance estimation with petri nets](https://reader034.vdocuments.site/reader034/viewer/2022042700/559b065a1a28ab6e758b4616/html5/thumbnails/10.jpg)
The Results
Feliciano Colella Formal Method - Process Petri Nets November 25, 2014 6 / 8
![Page 11: Performance estimation with petri nets](https://reader034.vdocuments.site/reader034/viewer/2022042700/559b065a1a28ab6e758b4616/html5/thumbnails/11.jpg)
Conclusion
I TPPN are a good formalism to model the behaviour of systems withshared resources.
I Dealing with the LP problems is useful but it quickly explodes in termsof complexity with bigger systems.
I Further attention should be put on designing betterHeuristics/Algorithms in order to reduce the time of the Experiments(more than 1 day is really a lot !).
Feliciano Colella Formal Method - Process Petri Nets November 25, 2014 7 / 8
![Page 12: Performance estimation with petri nets](https://reader034.vdocuments.site/reader034/viewer/2022042700/559b065a1a28ab6e758b4616/html5/thumbnails/12.jpg)
Thank you for the attention.
Feliciano Colella Formal Method - Process Petri Nets November 25, 2014 8 / 8