H. C. M. Kleijn Maciej Koutny Infinite Process Semantics of Inhibitor Nets. 282-301 2006 conf/apn/2006 ICATPN http://dx.doi.org/10.1007/11767589_16 db/conf/apn/icatpn2006.html#KleijnK06