Towards Correct Distributed Simulation of High-Level Petri Nets with Fine-Grained Partitioning