We could have also made comparison with proof net parsing/theorem proving (Moot 2016), but our proposal includes additives for which proof nets are still an open question, and not just the displacement calculus multiplicatives, and the point of focalization is that it is a general methodology extendible to, for example, exponentials and other modalities also, for which proof nets are also still under investigation.
our focalization approach is scaleable in a way that proof nets currently are not, and in this sense comparison with proof nets is not quite appropriate.