A Hybrid Model of Complex Automated Warehouse Systems—Part II: Analysis and Experimental Results

No abstract is available for this paper.

• Publication year

  2012

• Venue

  IEEE Transactions on Automation Science and Engineering

• Publication date

  2012-09-12

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1109/TASE.2012.2215323
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• On K-diagnosability of Petri nets via integer linear programming

  2012cited by this paper
• A Hybrid Model of Complex Automated Warehouse Systems—Part I: Modeling and Simulation

  2012cited by this paper
• Liveness and Ratio-Enforcing Supervision of Automated Manufacturing Systems Using Petri Nets

  2012cited by this paper
• Supervisor Optimization for Deadlock Resolution in Automated Manufacturing Systems With Petri Nets

  2011cited by this paper
• A discrete event model for the control and analysis of complex automated warehouse systems

  2011cited by this paper
• A two-stage modelling architecture for distributed control of real-time industrial systems: Application of UML and Petri Net

  2009cited by this paper
• Local and global deadlock prevention policies for resource allocation systems using partially generated reachability graphs

  2009cited by this paper
• On the Liveness of Guidepath-Based, Zone-Controlled Dynamically Routed, Closed Traffic Systems

  2008cited by this paper
• On the Implementation of Supervised Control of Discrete Event Systems

  2007cited by this paper
• An Optimization Approach to Petri Net Monitor Design

  2007cited by this paper
• Feedback Control Logic for Backward Conflict Free Choice Nets

  2007cited by this paper
• Deadlock Detection and Avoidance Strategies for Automated Storage and Retrieval Systems

  2007cited by this paper
• Simulation and analysis of discrete-event control systems based on Petri nets using PNetLab

  2007cited by this paper
• An approach to control automated warehouse systems

  2005cited by this paper
• Deadlock control methods in automated manufacturing systems

  2004cited by this paper
• Undirected colored Petri net for modelling and supervisory control of AGV systems

  2002cited by this paper
• The Algorithmic Analysis of Hybrid Systems

  1995cited by this paper
• A Petri net based deadlock prevention policy for flexible manufacturing systems

  1995cited by this paper
• Liveness and Home States in Equal Conflict Systems

  1993cited by this paper

• A dynamic simulation framework based on hybrid modeling paradigm for parallel scheduling systems in warehouses

  2024cites this paper
• Thrust Coordinated Assignment and Ripple Suppression of a Multiple-Modular Permanent Magnet Linear Synchronous Motor Based on Model Predictive Thrust Control

  2023cites this paper
• Discrete Event Approach to Robust Control in Automated Manufacturing Systems

  2022cites this paper
• A colored petri net-based modeling method for supply chain inventory management

  2021cites this paper
• A Distributed Control Approach to Automated Manufacturing Systems With Complex Routes and Operations Using Petri Nets

  2020cites this paper
• Item Assignment Problem in a Robotic Mobile Fulfillment System

  2020cites this paper
• Identification of Railway Transport Systems using stochastic P-timed Petri nets model

  2019cites this paper
• Robust deadlock avoidance control for AMSs with assembly operations embedded in flexible routes using Petri nets

  2019cites this paper
• Robust deadlock avoidance control for AMSs with assembly operations embedded in flexible routes using Petri nets

  2019cites this paper
• An auction-based approach to control automated warehouses using smart vehicles

  2019cites this paper
• A Robust Prevention Method for Automated Manufacturing Systems With Unreliable Resources Using Petri Nets

  2018cites this paper
• A robust control approach to AMSs allowing multiple types of resources via Petri Nets

  2017cites this paper
• Identification of Time Petri Net Models

  2017cites this paper
• Critical stages and their application in large scale automated manufacturing systems via Petri nets

  2016cites this paper
• A Novel Model Repair Approach of Timed Discrete-Event Systems With Anomalies

  2016cites this paper
• Modeling and performance evaluation of an agent-based warehouse dynamic resource allocation using Colored Petri Nets

  2016cites this paper
• A cyber-physical view of automated warehouse systems

  2016cites this paper
• An approach to task coordination for hyperflexible robotic workcells

  2016cites this paper
• Backward conflict free systems with resources and their distributed control using Petri nets

  2016cites this paper
• Robust control of automated manufacturing systems with flexible routes and assembly operations using Petri nets

  2016cites this paper
• Faulty model identification in deterministic labeled Time Petri nets

  2016cites this paper
• Robust control of automated manufacturing systems with flexibility embedded synchronizations using Petri nets

  2016cites this paper
• Critical stages and their identification in large scale automated manufacturing systems via Petri nets

  2016cites this paper
• Polynomially Complex Synthesis of Distributed Supervisors for Large-Scale AMSs Using Petri Nets

  2016cites this paper
• Identification of labeled Time Petri nets

  2016cites this paper
• Supervisor Simplification in FMSs: Comparative Studies and New Results Using Petri Nets

  2016cites this paper
• Robust control of automated manufacturing systems with assembly operations using petri nets

  2016cites this paper
• Decentralized Control of Multi-AGV Systems in Autonomous Warehousing Applications

  2016cites this paper
• Mono-T-semiflow systems with resources and their distributed control using Petri nets

  2016cites this paper
• Robust control of Backward Conflict Free Systems with Resources using Petri nets

  2016cites this paper
• Robust control of Mono-T-Semiflow Processes with resources using Petri nets

  2016cites this paper
• A New Class of Petri Nets for Modeling and Property Verification of Switched Stochastic Systems

  2015cites this paper
• Effect of cognitive automation in a material handling system on manufacturing flexibility

  2015cites this paper
• Robust supervisor synthesis for automated manufacturing systems using Petri nets

  2015cites this paper
• Supervisor Simplification for AMS Based on Petri Nets and Inequality Analysis

  2014cites this paper
• Automated synthesis of hybrid Petri net models for robotic cells in the aircraft industry

  2014cites this paper
• Supervisor synthesis and performance improvement for automated manufacturing systems by using Petri nets

  2013cites this paper
• A Hybrid Model of Complex Automated Warehouse Systems—Part I: Modeling and Simulation

  2012cites this paper