Reachability analysis of logic Petri nets using incidence matrix

Logic Petri nets (LPNs) can simplify the net-structure and mitigate the problem of state space explosion. To directly nvestigate the properties of LPNs, a new analysis method of LPNs is introduced in this paper based on incidence matrix.The enabled conditions of transitions are given, and reachable