Structural matrices for Signed Petri net

Abstract

The developments in the field of Graph Theory and Petri net Theory in the form of balanceness and negative tokens respectively motivated the authors to bridge the gap between Petri net and Signed graph and introduce a new concept of Signed Petri net (SPN). In Petri net theory, matrices have been used to describe the structural behavior of the Petri net. Such matrices have been introduced for SPN which help in identifying relationships among the transitions and places of an SPN. Various subclasses of SPN are given along with characterizations of these subclasses using the matrices introduced. We consider ordinary SPNs (i.e. SPNs without multiple arcs) in the paper.

Keywords

• Signed graph
• Signed Petri net
• Petri net
• state machine
• free choice net
• marked graph