Coloured timed Petri net model for real-time control of automated guided vehicle systems

DOI10.1080/00207540410001661364zbMath1094.68062OpenAlexW2060466647MaRDI QIDQ3159662

Maria Pia Fanti, Mariagrazia Dotoli

Publication date: 16 February 2005

Published in: International Journal of Production Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207540410001661364

Mathematics Subject Classification ID

Transportation, logistics and supply chain management (90B06) Automated systems (robots, etc.) in control theory (93C85) Traffic problems in operations research (90B20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

A bilevel decomposition algorithm for simultaneous production scheduling and conflict-free routing for automated guided vehicles ⋮ Modelling reconfigurable manufacturing systems with coloured timed Petri nets ⋮ Decomposition of Petri nets and Lagrangian relaxation for solving routing problems for AGVs ⋮ Petri net representation and reachability analysis of 0--1 integer linear programming problems

Uses Software

• StateFlow

Cites Work

• Deadlock prevention policy based on Petri nets and siphons
• Conflict-free shortest-time bidirectional AGV routeing
• Petri net models of flexible and automated manufacturing systems: a survey
• A semi-dynamic time window constrained routeing strategy in an AGV system
• An heuristic for configuring a mixed uni/bidirectional flow path for an AGV system
• Deadlock prediction and avoidance for zone-control AGVS
• Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems
• A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems
• Deadlock prediction and avoidance based on Petri nets for zone-control automated guided vehicle systems
• Deadlock avoidance in an automated guidance vehicle system using a coloured Petri net model
• Dynamic conflict-free routing of automated guided vehicles
• Temporized coloured Petri nets with changeable structure (CPN-CS) for performance modelling of dynamic production systems
• Performance evaluation of an auction-based manufacturing system using coloured Petri nets
• Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources

This page was built for publication: Coloured timed Petri net model for real-time control of automated guided vehicle systems