2020/08/25 by Payal, Sangita Kansal, Kansal, Sangita
Business, Management and Accounting · Computer Science · #68Q10 #68Q85 #Business Process Modeling and Analysis #Distributed #F.1.1 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Parallel #Petri Nets in System Modeling #and Cluster Computing (cs.DC)
paper · pdf · doi:10.48550/arxiv.2008.11585
openalex publication_date 2020/08/25 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In this paper,the authors show the versatility of the Signed Petri Net (SPN) introduced by them by showing the equivalence between a Logic Signed Petri Net (LSPN) and Logic Petri Net (LPN).The capacity of each place in all these nets is at most one, i.e.,a place has either zero or one token in it.