Using Petri net graphs express boolean functions