{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T01:57:52Z","timestamp":1773367072979,"version":"3.50.1"},"reference-count":47,"publisher":"MDPI AG","issue":"4","license":[{"start":{"date-parts":[[2020,11,27]],"date-time":"2020-11-27T00:00:00Z","timestamp":1606435200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computers"],"abstract":"<jats:p>Performance is a critical non-functional parameter for real-time systems and performance analysis is an important task making it more challenging for complex real-time systems. Mostly performance analysis is performed after the system development but an early stage analysis and validation of performance using system models can improve the system quality. In this paper, we present an early stage automated performance evaluation methodology to analyse system performance using the UML sequence diagram model annotated with modeling and analysis of real-time and embedded systems (MARTE) profile. MARTE offers a performance domain sub-profile that is used for representing real-time system properties essential for performance evaluation. In this paper, a transformation technique and transformation rules are proposed to map the UML sequence diagram model into a Generalized Stochastic Timed Petri net model. All the transformation rules are implemented using a metamodel based approach and Atlas Transformation Language (ATL). A case study from the manufacturing domain a Kanban system is used for validating the proposed technique.<\/jats:p>","DOI":"10.3390\/computers9040094","type":"journal-article","created":{"date-parts":[[2020,11,27]],"date-time":"2020-11-27T09:16:49Z","timestamp":1606468609000},"page":"94","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["An UML Based Performance Evaluation of Real-Time Systems Using Timed Petri Net"],"prefix":"10.3390","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4916-3807","authenticated-orcid":false,"given":"Tanuja","family":"Shailesh","sequence":"first","affiliation":[{"name":"Department of Computer Science and Engineering, Manipal Institute of Technology, Manipal Academy of Higher Education, Manipal 576104, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ashalatha","family":"Nayak","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, Manipal Institute of Technology, Manipal Academy of Higher Education, Manipal 576104, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Devi","family":"Prasad","sequence":"additional","affiliation":[{"name":"Software Consultant, Manipal 576104, India"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2020,11,27]]},"reference":[{"key":"ref_1","unstructured":"Object Management Group (2003). UML Specification, Object Management Group. [1st ed.]."},{"key":"ref_2","unstructured":"(2019, September 16). A Uml Profile for Marte: Modeling and Analysis of Real Time Embedded Systems. Available online: http:\/\/www.omg.org\/spec\/MARTE\/1.1\/PDF."},{"key":"ref_3","unstructured":"Soares, J.A.C., Lima, B., and Faria, J.P. (2018, January 22\u201324). Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets. In Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, Madeira, Portugal."},{"key":"ref_4","doi-asserted-by":"crossref","unstructured":"Phartchayanusit, V., and Rongviriyapanish, S. (2018, January 11\u201313). Safety Property Analysis of Service-Oriented IoT Based on Interval Timed Coloured Petri Nets. Proceedings of the 15th International Joint Conference on Computer Science and Software Engineering, Nakhonpathom, Thailand.","DOI":"10.1109\/JCSSE.2018.8457326"},{"key":"ref_5","unstructured":"Jieshi, S., Lei, L., Xiaoguang, H., Guofeng, Z., and Jin, X. (June, January 31). Evaluate Concurrent State Machine of SysML Model with Petri Net. Proceedings of the 13th IEEE Conference on Industrial Electronics and Applications (ICIEA), Wuhan, China."},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"920","DOI":"10.4236\/jsea.2014.711082","article-title":"Mapping AADL to Petri Net Tool-Sets Using PNML Framework","volume":"7","author":"Hassan","year":"2014","journal-title":"J. Softw. Eng. Appl."},{"key":"ref_7","unstructured":"Doc, V.V., Thang, H.Q., and Bach, N.T. (2019). Development of the Rules for Transformation of UML Sequence Diagrams into Queueing Petri Nets. International Conference on Industrial Networks and Intelligent Systems, Springer."},{"key":"ref_8","doi-asserted-by":"crossref","unstructured":"Dan, L. (2010, January 22\u201326). QVT Based Model Transformation from Sequence Diagram to CSP. Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, Oxford, UK.","DOI":"10.1109\/ICECCS.2010.47"},{"key":"ref_9","unstructured":"Davide, B. (2018, January 1\u20135). Modeling and Analysis of safety requirements in robot navigation with an extension of UML MARTE. Proceedings of the 2018 IEEE International Conference on Real-time Computing and Robotics, Kandima, Maldives."},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1016\/j.scico.2013.03.017","article-title":"Model-driven engineering practices in industry: Social, organizational and managerial factors that lead to success or failure","volume":"89","author":"Hutchinson","year":"2014","journal-title":"Sci. Comput. Program."},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1007\/978-3-642-39013-5_16","article-title":"Model Driven Software Development: A Practitioner Takes Stock and Looks into Future","volume":"Volume 7949","author":"Kulkarni","year":"2013","journal-title":"European Conference on Modelling Foundations and Applications"},{"key":"ref_12","unstructured":"Biehl, M. (2010). Literature Study on Model Transformations, Royal Institute of Technology. Technical Report ISRN\/KTH\/MMK\/R-10\/07-SE."},{"key":"ref_13","first-page":"404","article-title":"Model Transformation Languages: State\u2013of\u2013the-art","volume":"9","author":"Madhavi","year":"2017","journal-title":"Int. J. Comput. Sci. Eng."},{"key":"ref_14","first-page":"70","article-title":"D3.1.1 Review of Model-to-Model Transformation Approaches and Technologies","volume":"2015","author":"Geylani","year":"2015","journal-title":"Text Model Synchronized Doc. Eng. Platf."},{"key":"ref_15","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/288197.581193","article-title":"Modelling with Generalized Stochastic Petri Nets","volume":"26","author":"Marsan","year":"1998","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"key":"ref_16","unstructured":"Balbo, G. (2007). Introduction to Generalized Stochastic Petri Nets. Formal Methods for Performance Evaluation: Proceedings of the 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, 28 May\u20132 June 2007, Springer. Advanced Lectures."},{"key":"ref_17","unstructured":"B\u00e9zivin, J., Jouault, F., Rosenthal, P., and Valduriez, P. (2003). Modeling in the Large and Modeling in the Small. Lecture Notes in Computer Science, Springer."},{"key":"ref_18","doi-asserted-by":"crossref","unstructured":"Billington, J., Christensen, S., Van Hee, K., Kindler, E., Kummer, O., Petrucci, L., Post, R., Stehno, C., and Weber, M. (2003, January 23\u201327). The Petri Net Markup Language: Concepts, Technology, and Tools. Proceedings of the 24th International Conference on Applications and Theory of Petri Nets (ICATPN\u201903), Eindhoven, The Netherlands.","DOI":"10.1007\/3-540-44919-1_31"},{"key":"ref_19","first-page":"1","article-title":"Design of ATL Rules for Transforming UML 2 Sequence Diagrams into Petri Nets","volume":"8","author":"Elkamel","year":"2013","journal-title":"Int. J. Comput. Sci. Bus. Informatics"},{"key":"ref_20","doi-asserted-by":"crossref","unstructured":"Hlaoui, Y.B., Younes, A.B., Ben Ayed, L.J., and Fathalli, M. (2017, January 4\u20138). From Sequence Diagrams to Event B: A Specification and Verification Approach of Flexible Workflow Applications of Cloud Services Based on Meta-model Transformation. Proceedings of the 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC), Turin, Italy.","DOI":"10.1109\/COMPSAC.2017.135"},{"key":"ref_21","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1016\/j.ress.2013.06.032","article-title":"Enabling the Usage of UML in the Verification of Railway Systems: The DAM-Rail Approach","volume":"120","author":"Bernardi","year":"2013","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"ref_22","doi-asserted-by":"crossref","unstructured":"Requeno, J.I., Jose, M., and Simona, B. (2017, January 4\u20136). Performance Analysis of Apache Storm Applications Using Stochastic Petri Nets. Proceedings of the 2017 IEEE International Conference on Information Reuse and Integration, San Diego, CA, USA.","DOI":"10.1109\/IRI.2017.64"},{"key":"ref_23","doi-asserted-by":"crossref","unstructured":"Cortellessa, V., Eramo, R., and Tucci, M. (May, January 30). Availability-Driven Architectural Change Propagation Through Bidirectional Model Transformations Between UML and Petri Net Models. Proceedings of the 2018 IEEE International Conference on Software Architecture (ICSA), Seattle, WA, USA.","DOI":"10.1109\/ICSA.2018.00022"},{"key":"ref_24","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1145\/974043.974048","article-title":"From UML Activity Diagrams to Stochastic Petri Nets: Application to Software Performance Engineering","volume":"29","author":"Merseguer","year":"2004","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"ref_25","doi-asserted-by":"crossref","first-page":"1529","DOI":"10.1007\/s10270-013-0385-x","article-title":"Transformation challenges: From software models to performance models","volume":"13","author":"Woodside","year":"2014","journal-title":"Softw. Syst. Model."},{"key":"ref_26","doi-asserted-by":"crossref","first-page":"1843","DOI":"10.1016\/j.jss.2007.02.029","article-title":"Performance evaluation of UML design with Stochastic Well-formed Nets","volume":"80","author":"Bernardi","year":"2007","journal-title":"J. Syst. Softw."},{"key":"ref_27","doi-asserted-by":"crossref","first-page":"1967","DOI":"10.1007\/s10664-013-9297-1","article-title":"Performance assessment of an architecture with adaptative interfaces for people with special needs","volume":"19","author":"Merseguer","year":"2014","journal-title":"Empir. Softw. Eng."},{"key":"ref_28","doi-asserted-by":"crossref","unstructured":"Koziolek, H., Schlich, B., Becker, S., and Hauck, M. (2012). Performance and Reliability Prediction for Evolving Service-Oriented Software Systems. Empir. Softw. Eng., 18.","DOI":"10.1007\/s10664-012-9213-0"},{"key":"ref_29","doi-asserted-by":"crossref","first-page":"1","DOI":"10.5381\/jot.2019.18.3.a1","article-title":"SimSG: Rule-based Simulation using Stochastic Graph Transformation","volume":"18","author":"Ehmes","year":"2019","journal-title":"J. Object Technol."},{"key":"ref_30","first-page":"112","article-title":"Execution of UML models: A systematic review of research and practice","volume":"18","author":"Federico","year":"2018","journal-title":"Softw. Syst. Model."},{"key":"ref_31","doi-asserted-by":"crossref","first-page":"27599","DOI":"10.1109\/ACCESS.2017.2772829","article-title":"A Compositional Analysis Method for Petri-net Models","volume":"5","author":"Billington","year":"2017","journal-title":"IEEE Access"},{"key":"ref_32","unstructured":"Doc, V., Nguyen, T.B., and Huynh Quyet, T. (2019). Formal Transformation from UML Sequence Diagrams to Queueing Petri Nets, IOS Press."},{"key":"ref_33","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.jss.2008.03.066","article-title":"The Palladio component model for model-driven performance prediction","volume":"82","author":"Becker","year":"2009","journal-title":"J. Syst. Softw."},{"key":"ref_34","doi-asserted-by":"crossref","unstructured":"G\u00f3mez-Mart\u00ednez, E., and Merseguer, J. (2006). ArgoSPE: Model-based software performance engineering. International Conference on Application and Theory of Petri Nets, Springer.","DOI":"10.1007\/11767589_23"},{"key":"ref_35","unstructured":"(2020, May 30). DICE Simulation Tools\u2014Final Version. Available online: http:\/\/wp.doc.ic.ac.uk\/dice-h2020\/wp-content\/uploads\/sites\/75\/2017\/08\/D3.4_DICE-simulation-tools-Final-version.pdf."},{"key":"ref_36","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/S0164-1212(98)10028-6","article-title":"Comparative study and categorization of high-level petri nets","volume":"43","author":"Gerogiannis","year":"1998","journal-title":"J. Syst. Softw."},{"key":"ref_37","doi-asserted-by":"crossref","first-page":"627","DOI":"10.1016\/0026-2714(91)90007-T","article-title":"Timed Petri nets definitions, properties, and applications","volume":"31","author":"Zuberek","year":"1991","journal-title":"Microelectron. Reliab."},{"key":"ref_38","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","article-title":"Petri nets: Properties, analysis and applications","volume":"77","author":"Murata","year":"1989","journal-title":"Proc. IEEE"},{"key":"ref_39","doi-asserted-by":"crossref","unstructured":"Lilius, J., and Penczek, W. (2010). PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language. Applications and Theory of Petri Nets, Springer.","DOI":"10.1007\/978-3-642-13675-7"},{"key":"ref_40","first-page":"9","article-title":"A primer on the Petri Net Markup Language and ISO\/IEC 15909-2","volume":"76","author":"Hillah","year":"2009","journal-title":"Petri Net Newsl."},{"key":"ref_41","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., and Merks, E. (2008). EMF: Eclipse Modeling Framework, Pearson Education."},{"key":"ref_42","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1145\/1530873.1530881","article-title":"Pipe2: A tool for the performance evaluation of generalized stochastic petri nets","volume":"36","author":"Dingle","year":"2009","journal-title":"ACM Sigmetrics Perform. Eval. Rev."},{"key":"ref_43","unstructured":"Arseniy, A., Victor, K., Andrey, M., Dominic, W., and Alex, Y. (2011, January 20\u201324). Improved Parallel Composition of Labelled Petri Nets. Proceedings of the Eleventh International Conference on Application of Concurrency to System Design, Newcastle Upon Tyne, UK."},{"key":"ref_44","unstructured":"Viswanadham, N., and Narahari, Y. (1992). Performance Modeling of Automated Manufacturing Systems, Prentice-Hall, Inc."},{"key":"ref_45","unstructured":"Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., and Franceschinis, G. (1994). Modelling with Generalized Stochastic Petri Nets, John Wiley & Sons, Inc.. [1st ed.]."},{"key":"ref_46","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1016\/S2212-5671(13)00232-3","article-title":"Lean Manufacturing Case Study with Kanban System Implementation","volume":"7","author":"Sharif","year":"2013","journal-title":"Procedia Econ. Financ."},{"key":"ref_47","unstructured":"Li, Z. (2013). Design and Analysis of Robust Kanban System in an Uncertain Environment, KIT Scientific Publishing."}],"container-title":["Computers"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2073-431X\/9\/4\/94\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T10:38:15Z","timestamp":1760179095000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2073-431X\/9\/4\/94"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,27]]},"references-count":47,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2020,12]]}},"alternative-id":["computers9040094"],"URL":"https:\/\/doi.org\/10.3390\/computers9040094","relation":{},"ISSN":["2073-431X"],"issn-type":[{"value":"2073-431X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,11,27]]}}}