Design of graphic Petri net tool and its implementation
NC System · Journal of Huazhong University of Science and Technology [Medical Sciences] · 2002
A kind of computer aided design and analysis tool (GPNT) was developed by using Visual C++ language. Under the interactive computer graphic environment of GPNT, users could easily construct, delete, modify and save Petri nets. On the basis of incidence matrix of Petri nets, S invariant and T invariant could be generated by elementary linear transitions. GPNT was used to assist the design, analysis and dynamic simulation of Petri nets.