Jolanda Coppola

Learn More
This paper deals with the identification of time Petri net systems. The proposed algorithm identifies a time Petri net model on the basis of the observed behavior, extending existing approach for untimed systems. A mixed-integer programming problem is formulated to take into account that the firing of a transition requires that the enabling condition is met(More)
— Material handling systems are usually modeled as discrete event systems. However, when the size of these systems grows, the overall system performances depend also on continuous time phenomena. We present a hybrid model based on a new Petri net formalism that merges the concepts of Hybrid Petri Nets and Colored Petri Nets to obtain compact models for(More)
In the last twenty years, a big effort has been made to find optimal strategies for planning and control of automated warehouse systems. An automated warehouse system has two main components: an automated storage and retrieval subsystem consisting of a number of aisles, each one served by a crane, and a picking area which is formed by bays where stock units(More)
Nowadays, it is well recognized that flexibility, modularity and reconfigurability are the main challenges in the design of manufacturing systems. Automated warehouse systems play a key role in such systems and are currently controlled using hierarchical and centralized control architectures and conventional automation programming techniques. In this paper,(More)
In this document an upper bound of the number of constraints and unknowns that compose the identification problem is discussed. At this aim, the number of constraints and unknowns of G(σ T) and B(p) is computed. A. MIPP formulation of identification problem The identification problem is formally stated as follows: Given a set L obs of observed timed(More)
An automated warehouse system has two main components: an automated storage and retrieval subsystem consisting of a number of aisles, each one served by a crane, and a picking area which is formed by bays where stock units coming from the aisles are partially emptied by human operators. These two components are connected via an interface area consisting of(More)