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

20 Citations (Scopus)


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
Issue number5
Publication statusPublished - Jun 2011
Externally publishedYes


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


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