Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

Scheduling by Timed Automata under Resource Conflicts

Abstract : Considering time and resource limitations in different industries, increases importance and complexity of task scheduling problems where all tasks should be executed in the minimum time. Moreover, integrating uncontrollable tasks in the procedure makes more complexity in this problems. The main objective of our work is to propose a formal model and a tool for automatic scheduling of a system with a specific kind of resource conflict in order to minimize system's makespan as much as possible.
Document type :
Conference papers
Complete list of metadata
Contributor : Stephan Merz Connect in order to contact the contributor
Submitted on : Thursday, November 12, 2015 - 1:41:57 PM
Last modification on : Monday, September 13, 2021 - 2:44:03 PM



  • HAL Id : hal-01224494, version 1


Mahya Rahimi, Eric Niel, Emil Dumitrescu. Scheduling by Timed Automata under Resource Conflicts. MSR 2015, Nov 2015, Nancy, France. ⟨hal-01224494⟩



Record views


Files downloads