Logic and Algebra in Unfolded Petri Nets: On a Duality between Concurrency and Causal Dependence