An incremental Petri net approach to production sequence modeling | IEEE Conference Publication | IEEE Xplore