Using the incidence matrix in an evolutionary algorithm for computing minimal siphons in Petri net models | IEEE Conference Publication | IEEE Xplore