State Transition Diagram of Petri Net
The state transition diagram model of Petri net is given.It is a tool for analyzing behavior of Petri net.The structural characteristics of the repetitive firing sequence of Petri net in state transition diagram is analyzed,and the relations between the firing sequence and marked path are given.An algorithm for computing fundamental repetitive firing sequence is given.Dependence of repetitive firing sequences is defined and the structural properties which a language of Petri net is synchronous operation between regular languages expression and α-closure of repetitive sequences is given.