A Systematic and Formal Approach to the Specification of Flexible Manufacturing Systems Reusing Coloured Petri Nets Models

Leandro Dias da Silva; Angelo Perkusich

doi:10.1016/s1474-6670(17)36191-8

A Systematic and Formal Approach to the Specification of Flexible Manufacturing Systems Reusing Coloured Petri Nets Models

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)36191-8 ◽

2004 ◽

Vol 37 (4) ◽

pp. 667-672 ◽

Cited By ~ 3

Author(s):

Leandro Dias da Silva ◽

Angelo Perkusich

Keyword(s):

Petri Nets ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Coloured Petri Nets ◽

Formal Approach

Download Full-text

Software for Coloured Petri Nets Oriented to Flexible Manufacturing Systems

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)42302-0 ◽

1997 ◽

Vol 30 (19) ◽

pp. 221-226

Author(s):

Gastón Lefranc ◽

Patricio Vera ◽

Nestor González ◽

Paulina Valenzuela

Keyword(s):

Petri Nets ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Coloured Petri Nets

Download Full-text

Performance Modelling and Evaluation of Dynamic Tool Allocation in Flexible Manufacturing Systems using Coloured Petri Nets: An Object-Oriented Approach

The International Journal of Advanced Manufacturing Technology ◽

10.1007/s001700300012 ◽

2003 ◽

Vol 21 (2) ◽

pp. 98-109 ◽

Cited By ~ 21

Author(s):

F.F. Chen ◽

J. Chen

Keyword(s):

Petri Nets ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Object Oriented ◽

Coloured Petri Nets ◽

Performance Modelling ◽

Tool Allocation ◽

Object Oriented Approach ◽

Oriented Approach

Download Full-text

Optimal Supervisory Control for Flexible Manufacturing Systems Model With Petri Nets: A Place-Transition Control

IEEE Access ◽

10.1109/access.2021.3072892 ◽

2021 ◽

Vol 9 ◽

pp. 58566-58578

Author(s):

Muhammad Bashir ◽

Jian Zhou ◽

Bashir Bala Muhammad

Keyword(s):

Petri Nets ◽

Supervisory Control ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Transition Control ◽

Systems Model

Download Full-text

Decision support in flexible manufacturing systems using timed Petri nets

Journal of Manufacturing Systems ◽

10.1016/0278-6125(86)90003-8 ◽

1986 ◽

Vol 5 (2) ◽

pp. 89-101 ◽

Cited By ~ 36

Author(s):

Ramarathnam Ravichandran ◽

Amiya K. Chakravarty

Keyword(s):

Decision Support ◽

Petri Nets ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Timed Petri Nets

Download Full-text

Minimal supervisory structure for flexible manufacturing systems using Petri nets

2016 2nd International Conference on Control, Automation and Robotics (ICCAR) ◽

10.1109/iccar.2016.7486743 ◽

2016 ◽

Cited By ~ 3

Author(s):

Muhammad Bashir ◽

Bashir Bala Muhammad ◽

Zhiwu Li

Keyword(s):

Petri Nets ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems

Download Full-text

A formal approach for the specification, verification and control of flexible manufacturing systems

2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007) ◽

10.1109/efta.2007.4416897 ◽

2007 ◽

Cited By ~ 1

Author(s):

Sajeh Zairi ◽

Belhassen Zouari ◽

Laurent Pitrac

Keyword(s):

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Formal Approach ◽

And Control

Download Full-text

Scheduling flexible manufacturing systems using Petri nets and heuristic search

IEEE Transactions on Robotics and Automation ◽

10.1109/70.282537 ◽

1994 ◽

Vol 10 (2) ◽

pp. 123-132 ◽

Cited By ~ 240

Author(s):

Doo Yong Lee ◽

F. DiCesare

Keyword(s):

Petri Nets ◽

Heuristic Search ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems

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 ◽

Petri Nets ◽

State Space ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Timed Petri Nets ◽

State Space Generation

Download Full-text

Relationship between Petri Nets and Cellular Automata for the Analysis of Flexible Manufacturing Systems

Advances in Computational Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-642-37798-3_30 ◽

2013 ◽

pp. 338-349 ◽

Cited By ~ 1

Author(s):

Irving Barragán ◽

Juan Carlos Seck-Tuoh ◽

Joselito Medina

Keyword(s):

Cellular Automata ◽

Petri Nets ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems

Download Full-text

One Novel Computationally Improved Control Policy for Deadlock Problems of Flexible Manufacturing Systems using Petri Nets

Modelling, Identification and Control / 801: Advances in Computer Science ◽

10.2316/p.2013.799-038 ◽

2013 ◽

Author(s):

Yen-Liang Pan ◽

Wei-Shiang Liao ◽

Chia-Hsing Wei ◽

Tzu-Hsiang Huang

Keyword(s):

Petri Nets ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Control Policy

Download Full-text