Functorial Semantics for Petri Nets under the Individual Token Philosophy