Faculty Publications

Permanent URI for this communityhttps://idr.nitk.ac.in/handle/123456789/18736

Publications by NITK Faculty

Browse

Subject: search.filters.subject.Petri Nets

Search Results

Now showing 1 - 2 of 2
  • No Thumbnail Available
    Item
    Petri net model for knowledge-based value chain
    (2011) Niranjan, U.N.; Itagi, S.; Mohan, B.R.
    In this paper a novel theoretical model is presented in which the dynamics in a knowledge-based value chain is modeled using Petri nets. From the generic scheme of a knowledge-based value chain, the various components are individually modeled. The theory of Petri nets aptly captures the evolution of knowledge in a system and the process is usually highly interactive in nature. The properties and analysis methods of various classes of Petri nets can be conveniently used to check various constraints while designing the system. © 2011 Springer-Verlag.
  • No Thumbnail Available
    Item
    Safety Analysis of Shutdown System in Nuclear Power Plants through Petri Nets
    (Institute of Electrical and Electronics Engineers Inc., 2024) Das, M.; Mohan, B.R.; Ram Mohana Reddy, G.; Abhishek; Kumar, A.; Kumar, P.; Khan, J.
    Addressing the critical need for rigorous safety analysis, the research focuses on the intricate shutdown mechanisms, particularly the Rod Control System and Poison Injection System. The methodology commenced with exhaustive system requirements gathering to grasp the operational nuances and emergency protocols. A meticulous Petri Net representation followed, encapsulating system components and concurrent processes within a cohesive model. The framework facilitated rigorous safety checks, formal verification, and simulation-based o ptimization. Through iterative design and validation against established research, the model underwent continuous refinement. The findings illuminate the robustness of safety protocols and offer a transformative outlook on shutdown procedures, laying a foundation for further research and practical implementation to secure NPP operations. © 2024 IEEE.