Author： Gi Bum Lee
Publisher： Taylor & Francis Ltd
ISSN： 0232-9298
Source： Systems Analysis Modelling Simulation, Vol.43, Iss.5, 2003-05, pp. : 557-561
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
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.
Related content
Access to resources
Recommend
Petri Net Models in Batch Control
Mathematical and Computer Modelling of Dynamical Systems, Vol. 5, Iss. 2, 1999-06 ,pp. :
Spreads Admitting Net Generating Regulizations
By Riesinger R.
Geometriae Dedicata, Vol. 62, Iss. 2, 1996-09 ,pp. :
Petri net methodology for solving healthcare management issues
ITM Web of conferences, Vol. 17, Iss. issue, 2018-02 ,pp. :
Access to resources