Graph-theoretic approach to process synthesis: axioms and theorems