" ENVISIONMENT-BAS ED SCHEDULING USING TIME INTERVAL PETRI NETWORKS: REPRESENTATION, I N F W C E , AN[ LEARNING "