Computer aided modelling based on Petri net theory and performance evaluation of flexible manufacturing systems

Mapping Intimacies ◽

10.1109/ciccas.1991.184290 ◽

2002 ◽

Author(s):

Yu Haibin ◽

Liu Changyou ◽

Xu Xinhe

Keyword(s):

Performance Evaluation ◽

Petri Net ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Computer Aided ◽

And Performance

Download Full-text

Flexible manufacturing systems modelling and performance evaluation using AutoMod

International Journal of Simulation Modelling ◽

10.2507/ijsimm10(2)3.176 ◽

2011 ◽

Vol 10 (2) ◽

pp. 78-90 ◽

Author(s):

B.S.P. Reddy ◽

C.S.P. Rao

Keyword(s):

Performance Evaluation ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Systems Modelling ◽

And Performance

Download Full-text

Modelling and performance evaluation of flexible manufacturing systems using deterministic and stochastic timed Petri nets

10.1049/cp:19940885 ◽

1994 ◽

Author(s):

T.K. Behera

Keyword(s):

Performance Evaluation ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Timed Petri Nets ◽

And Performance

Download Full-text

Specification and performance evaluation of Flexible Manufacturing Systems using a Bounded True Concurrent Process Algebra

2006 International Conference on Computational Inteligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and International Commerce (CIMCA'06) ◽

10.1109/cimca.2006.200 ◽

2006 ◽

Author(s):

M. Ruiz ◽

Diego Cazorla ◽

Fernando Cuartero ◽

J. Pardo

Keyword(s):

Performance Evaluation ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Process Algebra ◽

Concurrent Process ◽

And Performance

Download Full-text

Design of optimal Petri-net controllers for a class of flexible manufacturing systems with key resources

Information Sciences ◽

10.1016/j.ins.2015.11.021 ◽

2016 ◽

Vol 363 ◽

pp. 221-234 ◽

Author(s):

Huixia Liu ◽

Weimin Wu ◽

Hongye Su ◽

Zhenxing Zhang

Keyword(s):

Petri Net ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Download Full-text

A Petri net-based simulation tool for the design and analysis of flexible manufacturing systems

Journal of Manufacturing Systems ◽

10.1016/0278-6125(94)90033-7 ◽

1994 ◽

Vol 13 (4) ◽

pp. 251-261 ◽

Author(s):

Dong-Soon Yim ◽

Thomas A. Barta

Keyword(s):

Petri Net ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Simulation Tool

Download Full-text

A Petri Net Based Deadlock Avoidance Policy for Flexible Manufacturing Systems With Assembly Operations and Multiple Resource Acquisition

IEEE Transactions on Industrial Informatics ◽

10.1109/tii.2018.2876343 ◽

2019 ◽

Vol 15 (6) ◽

pp. 3379-3387 ◽

Author(s):

JianChao Luo ◽

ZhiQiang Liu ◽

MengChu Zhou

Keyword(s):

Petri Net ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Resource Acquisition ◽

Deadlock Avoidance ◽

Multiple Resource ◽

Assembly Operations

Download Full-text

Systematic construction of functional abstractions of Petri net models of typical components of flexible manufacturing systems

Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91 ◽

10.1109/pnpm.1991.238795 ◽

2002 ◽

Author(s):

R.Z. Zurawski ◽

T.S. Dillon

Keyword(s):

Petri Net ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Systematic Construction

Download Full-text

Comment on “A Deadlock Prevention Approach for Flexible Manufacturing Systems with Uncontrollable Transitions in Their Petri Net Models”

Asian Journal of Control ◽

10.1002/asjc.566 ◽

2012 ◽

Vol 14 (4) ◽

pp. 1155-1158

Author(s):

Murat Uzam

Keyword(s):

Petri Net ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Deadlock Prevention ◽

Prevention Approach

Download Full-text

Performance Evaluation of Flexible Manufacturing Systems with Timed Process Algebra

Industrial Information Technology - Formal Methods in Manufacturing ◽

10.1201/b16529-19 ◽

2014 ◽

pp. 453-475

Author(s):

María Ruiz ◽

Diego Cazorla ◽

Fernando Cuartero ◽

Hermenegilda Macia

Keyword(s):

Performance Evaluation ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Process Algebra

Download Full-text

Performance Evaluation of Flexible Manufacturing Systems by Coloured Timed Petri Nets and Timed State Space Generation

Industrial Information Technology - Formal Methods in Manufacturing ◽

10.1201/b16529-17 ◽

2014 ◽

pp. 381-408

Author(s):

Gasper Mušič ◽

Liana Napalkova ◽

Miguel Piera

Keyword(s):

Performance Evaluation ◽

State Space ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Timed Petri Nets ◽

State Space Generation

Download Full-text