A development methodology for production systems with a new paradigm based on Petri nets and object orientation | IEEE Conference Publication | IEEE Xplore