Combined Petri net modelling and AI-based heuristic hybrid search for flexible manufacturing systems-part I: Petri net modelling and heuristic search

Authors:
H. Yu;A. Reyes;S. Cang;S. Lloyd
Affiliations:
School of Informatics, Bradford University, Richmond Road, Bradford BD7 1DP, UK;iSOCO, Alcalde Barnils 64/68 A 08190 Sant Cugat del Valles (Barcelona), Spain;School of Engineering and Computer Science, Exeter University, North Park Road, Exeter EX4 4QF, UK;School of Engineering, University of Sussex, Brighton, Sussex BN1 9QT, UK
Venue:
Computers and Industrial Engineering
Year:
2003

Citing 5
Cited 6

Heuristics: intelligent search strategies for computer problem solving

Heuristics: intelligent search strategies for computer problem solving
Deterministic scheduling in computing and manufacturing systems: a survey of models and algorithms

Mathematics and Computers in Simulation
Modeling with colored timed object-oriented Petri nets for automated manufacturing systems

Computers and Industrial Engineering
Automated construction of GSPN models for flexible manufacturing systems

Computers in Industry - special issue ASI'94 selection of papers presented at the advanced summer institute “computer integrated manufacturing and industrial automation” Patras, Greece, 26 June—1 July 1994
Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of Systems

A modeling methodology for supply chain synthesis and disruption analysis

International Journal of Knowledge-based and Intelligent Engineering Systems - Integrated and hybrid intelligent systems in product design and development
Production-process modelling based on production-management data: a Petri-net approach

International Journal of Computer Integrated Manufacturing
Local and global deadlock prevention policies for resource allocation systems using partially generated reachability graphs

Computers and Industrial Engineering
A Methodology for Solving Logistic Optimization Problems through Simulation

Simulation
Heuristic search for scheduling flexible manufacturing systems using lower bound reachability matrix

Computers and Industrial Engineering
A time stamp reduction method for state space exploration using colored Petri nets

Simulation

Quantified Score

Hi-index	0.00

Visualization

Abstract

This two-part paper presents modelling and scheduling approaches for flexible manufacturing systems (FMS) using Petri nets (PNs) and artificial intelligence (AI) based heuristic search methods. In part I, the description of FMS formulation that will be considered throughout the paper is presented. A new class of PNs, Buffer-nets, for defining FMS is proposed, which enhances the modelling techniques for manufacturing systems with features that are considered difficult to model. An input language for automatic synthesis of these nets is developed. A scheduling architecture, which integrates PN models and AI techniques, is proposed. Finally, the complexity issues of manufacturing systems are addressed.