Generating Petri Net State Equation with Firing Condition Functions
Gi Bum Lee, Jin S. Lee · Systems Analysis Modelling Simulation · 2003
This article introduces a new way of generating a state equation which is useful for analyzing token flows in a Petri Net (PN). Transition values as used in the conventional state equation are replaced with transition variables, which are generated by multiplying a series of firing condition functions. The proposed state equation generalizes the conventional one in that it is represented with the transition variable form. A token flow with deadlock is analyzed as an example to establish the validity of the proposed state equation.