2020/01/13 by Payal, Sangita Kansal, Kansal, Sangita
Computer Science · #Discrete Mathematics (cs.DM) #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Parallel #Petri Nets in System Modeling #and Cluster Computing (cs.DC)
paper · pdf · doi:10.48550/arxiv.2001.04374
openalex publication_date 2020/01/13 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In this paper, domination in Signed Petri net(SPN) has been introduced.We identify some of the Petri net structures where a dominating set can exist.Applications of producer consumer problem, searching of food by bees and finding similarity in research papers are given to understand the areas where the proposed theory can be used.