Extending the Knitting Technique to Petri Net Synthesis of Automated Manufacturing Systems | Zendy

Daniel Yuh Chao | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Extending the Knitting Technique to Petri Net Synthesis of Automated Manufacturing Systems

Author(s) -

Daniel Yuh Chao

Publication year - 1994

Publication title -

the computer journal

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.319

H-Index - 64

eISSN - 1460-2067

pISSN - 0010-4620

DOI - 10.1093/comjnl/37.1.67

Subject(s) - petri net , liveness , computer science , process architecture , distributed computing , petri dish , context (archaeology) , stochastic petri net , flexible manufacturing system , key (lock) , scheduling (production processes) , mathematical optimization , operating system , mathematics , paleontology , genetics , biology

The modelling or synthesis of ordinary Petri nets has been recognized as a key step for applying Petri nets to performance analysis, control and simulation of industrial production systems. This paper addresses this synthesis problem by adopting a global and incremental synthesis approach: the knitting technique for manufacturing systems. The knitting technique has been applied to Petri net modelling and analysis of communication networks. The idea behind this technique is to introduce details in an incremental way, i.e. by adding new paths and/or cycles to a Petri net. At each step the Petri net model grows according to certain rules which will guarantee such system properties as boundedness, liveness and reversibility

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research