Unifying Petri Nets Advances in Petri Nets | EKB DL