For the most recent entries see the Petri Nets Newsletter.

Towards Quantitative Analysis of Real-Time UML Using Stochastic Petri Nets.

Trowitzsch, J.; Zimmermann, A.; Hommel, G.

In: 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 2, pages 1-139b. 2005. http://doi.ieeecomputersociety.org/10.1109/IPDPS.2005.441.

Abstract: In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucial to enable early quantitative predictions during the modeling phase of real-time systems development processes. UML itself is not directly analyzable. Performance evaluation techniques are thus necessary for these UML models. The challenge within our research work is the derivation of Stochastic Petri nets (SPNs) from UML models aimed at performance evaluation of real-time systems.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography