Partitioning of Petri net models amenable for Distributed Execution | IEEE Conference Publication | IEEE Xplore