Synthesis a Petri net based control model for a FMS cell

Ali A. Pouyan*, Heydar Toossian Shandiz, Soheil Arastehfar

*Corresponding author for this work

Research output: Contribution to journalArticleAcademicpeer-review

18 Citations (Scopus)

Abstract

Petri nets have been recognised as a high level formal and graphical specification language for modelling, analysis, and control of concurrent asynchronous distributed systems. This paper presents a PN model, synthesised by an extended version of the knitting synthesis technique. This method, as an incremental design approach, establishes the conditions under which the fundamental behavioural properties of the synthesised systems are fulfilled and preserved. That is, the synthesised models are live, bounded, and reversible (cyclic). A Petri net with the aforementioned properties is called a well-behaved Petri net system which is guaranteed to operate in a deadlock-free, stable, and cyclic fashion. Well-behaved Petri net models, synthesised using the proposed method can be compiled into control codes and implemented as real-time controllers for flexible manufacturing systems. The significance of this paper is due to the application of an extended version of knitting synthesis technique to a real life example of a flexible manufacturing system.

Original languageEnglish
Pages (from-to)501-508
Number of pages8
JournalComputers in industry
Volume62
Issue number5
DOIs
Publication statusPublished - Jun 2011
Externally publishedYes

Keywords

  • Analysis
  • Control
  • FMS
  • Modelling
  • Petri nets
  • Synthesis technique

Fingerprint Dive into the research topics of 'Synthesis a Petri net based control model for a FMS cell'. Together they form a unique fingerprint.

Cite this