Logic Signed Petri Net

TL;DR

This paper demonstrates the equivalence between Logic Signed Petri Nets and Logic Petri Nets, highlighting the versatility of Signed Petri Nets with places holding at most one token, thus advancing Petri net theory.

Contribution

It introduces the concept of Logic Signed Petri Nets and establishes their equivalence with Logic Petri Nets, expanding the theoretical framework of Petri nets.

Findings

LSPN is equivalent to LPN.

Places in these nets have at most one token.

The paper showcases the versatility of Signed Petri Nets.

Abstract

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.