Tullio Tolio

Learn More
System capacity expansion is a strategic decision that firms have to face after the design of the system and during its running. In particular, the sector of hi-tech manufacturing is affected by unpredictable changes of part types and volume demand, which are difficult to formalize and estimate. In fact, it is difficult to forecast births and deaths of(More)
Manufacturing systems can be thought as production networks nodes whose relations have a strong impact on design and analysis of each system. One of the most common techniques to support these tasks is Discrete-Event Simulation. The state-of-the art commercial simulators are already adopted to analyze complex networked systems, but the development of a(More)
In the past few years two research groups of Politecnico di Milano, whose activities were centered on Formal Methods for the production of critical software and on industrial manufacturing systems, respectively, have carried out a joint research project that, among other things, aimed at introducing the use of formal methods in the design and analysis(More)
Manufacturing systems can be thought as production networks nodes whose relations have a strong impact on design and analysis of each system. Commercial simulators are already adopted to analyse complex networked systems, but the development of a monolithic model can be too complex or infeasible when a detailed description of the nodes is not available(More)