A platform for distributed modeling and simulation of productive systems based on Petri nets and object-oriented paradigm | IEEE Conference Publication | IEEE Xplore