From centralized to distributed models: A systematic procedure based on Petri nets | IEEE Conference Publication | IEEE Xplore