Petri Nets modelling of active products cooperation for active security management | IEEE Conference Publication | IEEE Xplore