The state equation of Petri net for the LD program | IEEE Conference Publication | IEEE Xplore