Integrated and Reactive Part Routing Policies for Manufacturing Systems

Autor:	Janine Magnier, Vincent Chapurlat, Mireille Larnac
Rok vydání:	1997
Předmět:	Engineering business.industry Industrial production Systems engineering Complex system Production (economics) Temporal logic User interface Routing (electronic design automation) business Manufacturing systems Formal verification
Zdroj:	IFAC Proceedings Volumes. 30:417-422
ISSN:	1474-6670
DOI:	10.1016/s1474-6670(17)44668-4
Popis:	This paper presents a new approach for modelling and formal analysis of discrete complex systems. The problematics addressed by this methodology concerns the analysis of complex systems, such as industrial production cells, or the organisation of production processes within an industrial plant. This approach is based on the collaboration of the Interpreted Sequential Machine (ISM) and a user-friendly description model (CANVAS Model).
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::2beb11f3ecaddf8bd8e5bcb1e0ad905b https://doi.org/10.1016/s1474-6670(17)44668-4 Zobrazit plný text záznamu