محمدامين حاجي حسيني

Ensuring dependability, reliability, performance, and faultless design is crucial during software development. Delaying the check of these metrics could risk the whole project. For example, after spending a lot of resources it turns out the initial design has faults or client requirements are not met. Redesigning and reimplementing the software will cost money if the probability of failure is ignored. Also, there are some domains in which initial faulty design will put money or life in jeopardy, such as health control systems. One of the common testing approaches is the software testing method. However, this method has its disadvantages. For example, it's an expensive method and needs developed code to be tested, and does not provide insurance for the initial design. It is possible to reduce these risks by using methodologies and practices for modeling, simulating, and performance analysis as described in the content. One of the most common models used by researchers and developers is Petri nets. As advancing technologies emerge such as the internet of things or cyber-physical systems, researchers have developed enhanced extensions of Petri nets that can model new things more precisely and accurately. As a result of these extensions, a comprehensive tool is not available for developing models based on these new extensions. Also, the lack of efficient, modern, and easy-to-use user interfaces and user experiences makes most tools difficult to use. A comprehensive tool for designing models based on these extensions will help researchers and developers expand the usage of these enhanced extensions more effectively. In this thesis, in first step, the existing tools have been analyzed and reviewed. We eva‎luated the pros and cons of these tools. In second step, by relying on these tools, two prototypes are constructed. Based on these prototypes, in the thrst step, a final tool was developed. This tool provides a modern and easy-to-use user experience using the most advanced and state-of-theart technologies of UI/UX design. The software tool can also be used in cloud-computing environments. Eventually, in the final step, this software tool was utilized for design and construction of various models and the effectiveness of this tool are discussed and eva‎luated based on the presented measures.

شبكه هاي پتري , بسط شبكه هاي پتري , ابزار مدل سازي و تحليل , طراحي UI/UX

Petri nets , extension of Petri nets , modeling and analysis tool , UI/UX design

Mohammad Amin Haji Hosseini

Dr. Mohammad Abdollahi Azgomi