Browsing by Author "Schoop, Ronald"
Now showing 1 - 2 of 2
Results Per Page
Sort Options
- A collaborative automation approach to distributed production systemsPublication . Colombo, Armando W.; Schoop, Ronald; Leitão, Paulo; Restivo, FranciscoThe new enterprise organizations, such as virtual enterprise and smart enterprise, require the usage of collaborative automation approaches, addressing the flexibility and dynamic re-configurability. Collaborative automation is a result of the integration of emerging technologies and paradigms like smart agent-based control technology, mechatronics, communication and information. This paper reviews the paradigms evolution from CIM to the collaborative manufacturing management and discusses how and why the holonic control architecture ADACOR is a typical architecture that exhibits the real meaning of the collaborative manufacturing management concept.
- Formal specification of holonic control system ADACOR product holon, using high-level Petri NetsPublication . Leitão, Paulo; Colombo, Armando W.; Restivo, Francisco; Schoop, RonaldHolonic manufacturing and multi-agent paradigms are suitable to support tbe actual challenges of flexible manufac turing systems, due to their decentralisation, modularity and autonomy features. The formal specification assumes a critical role in order to understand and synthesise those complex systems. The Petri Nets formalism is adequate to model and validate the dynamic behaviour, but present weak points when the system contains many instances of the same component, since the model grows (structure and components) in a noncontrollable manner. The use of High-Level Petri Nets, allows to reduce this complexity, by compressing the representation of states, actions and events, to overcome the identified limitations and to support more complex and bigger coordination scenarios. This paper presents a formal specification of the ADACOR product holons using High-Level Petri Nets and the associated formal validation of the model.