Two methods for the engineering of manufacturing systems

Zaytoon, Janan; Villermain-Lecolier, G.

doi:10.1016/s0967-0661(97)00225-6

Cited by 10 publications

(3 citation statements)

References 30 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Illustrative executions of ASS. [6,32], but this issue goes beyond the scope of this paper. Meanwhile, a modular approach is required to extract a simple model for each of the elements of the plant.…”

Section: Modelling Of the Plantmentioning

confidence: 98%

Grafcet: Behavioural Issues and Control Synthesis

Carré-Ménétrier¹,

Zaytoon²

2002

European Journal of Control

Self Cite

View full text Add to dashboard Cite

This paper discusses the difficulties encountered in identifying the correct behaviour of Grafcet specifications in view of synthesising a correct control execution model. Formal algorithms for the synthesis of supervisory controllers related to Grafcet are also proposed. These algorithms consider the constraints induced by the behaviour of the controlled plant so as to identify the required correct behaviour of Grafcet during control execution. The resulting control execution is deadlock-free, and represents the minimal possible restriction of the behaviour of a given Grafcet, subject to a number of specified constraints.

show abstract

Section: Modelling Of the Plantmentioning

confidence: 98%

Grafcet: Behavioural Issues and Control Synthesis

Carré-Ménétrier¹,

Zaytoon²

2002

European Journal of Control

Self Cite

View full text Add to dashboard Cite

show abstract

“…IDEF0 can be mapped onto Petri nets in many ways. The most typical approaches can be founded in Jensen (1996c) and Zaytoon (1996), and an extensive survey is presented in Zaytoon and Villermain-Lecolier (1997). All these approaches differ in expressive power, analysability and usability.…”

Section: Integrated Idef0 and Cpn Modelmentioning

confidence: 99%

Integrated Integration Definition Language 0 (IDEF) and coloured Petri nets (CPN) modelling and simulation tool: a study on mould-making processes

Chin

Mok

et al. 2006

International Journal of Production Research

View full text Add to dashboard Cite

The use of the Integrated Integration Definition Language 0 (IDEF) descriptive model or similar tools alone in the analysis of complicated processes like the mould-making process usually encounters difficulties due to the complexity of process. A quantitative analysis model thus seems necessary to supplement the IDEF0 tool for better modelling and simulation of complicated processes. The paper proposes to integrate the IDEF0 tool with the coloured Petri nets (CPN) tool for systematic analysis of complicated processes. It introduces an effective modelling and simulation language-hierarchical timed CPN-based workflow nets (HTCPNWF-nets). The rules for translating IDEF0 into HTCPNWF-nets have been developed. After mapping the IDEF0 model onto HTCPNWF-nets, several performance analyses can be achieved by simulation of HTCPNWF-nets model. The proposed methodologies have been successfully applied to the mould-making process. The paper presents the rationales and current progress of the proposed methodologies.

show abstract

“…Le mkta-outil a ktk utilisk pour le dkveloppement de I'kditiodsimulation correspondant a deux mkthodes d'klaboration de la commande, dkveloppkes par notre groupe de recherche [14]. La premiere est une mkthode fonctionnelle baske sur une intkgration cohkrente de SADT, Rkseaux de Petri et Grafcet.…”

Section: Application De I'outil B Une M6thode Intkgrdeunclassified