A formal approach for a self organizing protocol: Production System application