Browsing by Author "Vikas Kumar Patel"

Now showing 1 - 3 of 3

A COVID-19 Vaccine Notifier Android App “CoWin Mitra”
(CRC Press, 2023) Vikas Kumar Patel; Anshul Verma; Pradeepika Verma
The government of India has launched a web portal to register and schedule appointments for COVID-19 vaccination. This paper illustrates an android app model through which people can get notified about available slots according to their filters (age-group, dose type, vaccine name, centers). The proposed app checks for available slots for every given time in the background. Users can schedule their appointment and also enable/disable notifications at any time in the app. The project is developed in android studio. The data source is API Setu, and for client side, Java, XML, and SQLite are used. Software Development Life Cycle model and testing methods are used during the development process. ER diagram, message sequence chart, and flow chart have been shown for database, some important functions, and development process, respectively. The project developed is highly efficient, lightweight, and user-friendly. © 2023 selection and editorial matter, Anshul Verma, Pradeepika Verma, Kiran Kumar Pattanaik and Lalit Garg; individual chapters, the contributors.
Addressing Graphviz File Generation Issue in CPN Tools: A Java-Based Solution
(Springer Science and Business Media Deutschland GmbH, 2025) Vikas Kumar Patel; Anshul Verma; Pradeepika Verma
This paper presents a novel approach to resolving a specific bug encountered in Colored Petri Nets (CPN) Tools during the generation of Graphviz files. CPN Tools, a powerful instrument for constructing and analyzing colored petri nets, has been identified to have limitations in graph visualization, particularly when dealing with token value strings or record/product with strings.The CPN Tools generate the Graphviz (dot) file, however it does not take into account color sets of strings, records, and products. If the color set is one of these, after generating the Graphviz file from CPN, Graphviz displays a syntax error. This issue results in a syntax mismatch with Graphviz, hindering the seamless visualization of graphs. To address this problem, the authors have developed a Java-based Graphical User Interface (GUI) program that takes the CPN Tools generated dot file as input, refactors it, and corrects the syntax, thereby enabling error-free graph visualization. The user merely needs to provide the CPN Tools created DOT file to the proposed system. It will make internal corrections and generate the graph. In addition, the user can download the revised version of the DOT file from the system. This solution not only resolves the identified bug but also enhances the overall user experience by simplifying the process of graph generation. The paper provides a detailed description of the bug, the development process of the Java GUI program, enhancing the page hierarchy graph of hierarchical colored petri nets, and its successful application in resolving the bug and generating correct graph. It also discusses the potential impact of this solution on the broader usability and efficiency of CPN Tools. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.
Critical Analysis of Train Operation Simulators
(Springer, 2024) Vikas Kumar Patel; Anshul Verma; Pradeepika Verma
Railway transportation is a cost-effective and reliable mode of transportation. The construction of an entire railway network is a challenging task that requires careful planning and execution. Infrastructure and schedule are just two of the many elements that must be accurate and cheap for greater performance. Train simulators are computer-based simulations of rail transport operations that can help in the planning, creation, and administration of effective train operations. These simulators can model various aspects of rail transport, such as train movements, signaling systems, and track layouts, allowing railway operators to test and optimize their operations before implementing them in the real world. In this study, 20 simulators with various parameters like simulator types, category, working, etc. were examined together with a total of top 10 companies that offer railway-related services for the year 2022. The results of this study shall offer insightful knowledge about the simulation, creation, and administration of effective train operations. © The Author(s), under exclusive licence to Springer Nature Singapore Pte Ltd. 2024.