Incremental synthesis of Petri net models for identification of discrete event systems | IEEE Conference Publication | IEEE Xplore