Generalized net model of logic gates and circuits | IEEE Conference Publication | IEEE Xplore