A Survey on Petri Net Models for Freight Logistics and Transportation Systems

The benefits of logistics and transportation systems to citizens, economy, and society can strongly increase when considering a smart, safe, and environmentally friendly management. This results in the implementation of intelligent transportation systems that combine innovative technologies and transportation frameworks at the aim of finding proper solutions to the related decision problems. To achieve such a goal, the intrinsic discrete event dynamics of these systems should be considered when deriving a model to be used for simulation, analysis, optimization, and control. Among the different discrete event models, Petri Nets (PNs) are particularly effective due to a series of relevant features. In addition, several high-level PN models (e.g., colored, continuous, or hybrid) allow the solution of complex and large-dimension problems that typically arise from real-life applications in the area of freight logistics and transportation systems. This paper presents a survey on contributions in this area. Papers are classified according to the addressed problem, namely, strategic/tactical or operational decision-making-level problem, and the adopted PN formalism. We also debate the approaches’ viability, discussing contributions and limitations, and identify future research directions to enhance the successful application of PNs in freight logistics and transportation systems.

[1]  Ouajdi Korbaa,et al.  FORMALISING AN AGENT-BASED CONTAINER STACKING MODEL VIA PETRI NETS , 2006 .

[2]  C Guedes Soares,et al.  Intermodal terminal cargo handling simulation using Petri nets with predicates , 2015 .

[3]  Mariagrazia Dotoli,et al.  A Timed Petri Nets Model for Performance Evaluation of Intermodal Freight Transport Terminals , 2016, IEEE Transactions on Automation Science and Engineering.

[4]  Tao Xu,et al.  Propagated Analysis of Airport Delays Based on Timed Petri Nets , 2009, 2009 International Conference on Computational Intelligence and Security.

[5]  Mariagrazia Dotoli,et al.  Management of Intermodal Freight Terminals by First-Order Hybrid Petri Nets , 2016, IEEE Robotics and Automation Letters.

[6]  Elzbieta Roszkowska Undirected colored Petri net for modelling and supervisory control of AGV systems , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[7]  MengChu Zhou,et al.  Short-Term Scheduling of Crude-Oil Operations: Enhancement of Crude-Oil Operations Scheduling Using a Petri Net-Based Control-Theoretic Approach , 2015, IEEE Robotics & Automation Magazine.

[8]  Peng Li,et al.  Petri-net Modeling of Container-port Work Flo , 2013 .

[9]  Eckehard Schnieder,et al.  Scenario-Based Modeling of the On-Board of a Satellite-Based Train Control System With Colored Petri Nets , 2016, IEEE Transactions on Intelligent Transportation Systems.

[10]  Angela Di Febbraro,et al.  Urban traffic control structure based on hybrid Petri nets , 2004, IEEE Transactions on Intelligent Transportation Systems.

[11]  MengChu Zhou,et al.  Short-term scheduling of crude oil operations in refinery with high-fusion-point oil and two transportation pipelines , 2016, Enterp. Inf. Syst..

[12]  Nicola Sacco,et al.  Sensitivity analysis of the performances of seaport container terminals , 2013, 2013 International Conference on Control, Decision and Information Technologies (CoDIT).

[13]  John Andrews,et al.  Railway Infrastructure Asset Management: The Whole-System Life Cost Analysis , 2016 .

[14]  Rodrigo A. Garrido,et al.  Modeling the Internal Transport System in a Containerport , 2002 .

[15]  F. Larsson,et al.  Modal shift for greener logistics – the shipper's perspective , 2012 .

[16]  Wilhelm Dangelmaier,et al.  Decentralized management for transportation-logistics: A multi agent based approach , 2003, Integr. Comput. Aided Eng..

[17]  Mehmet Turan Soylemez,et al.  The Application of Automation Theory to Railway Signaling Systems: Turkish National Railway Signaling Project , 2013 .

[18]  Joakim Bjørk,et al.  Challenges in simulating railway systems using Petri Nets , .

[19]  Lingxi Li,et al.  Fault-tolerant controller design for automated guided vehicle systems based on Petri nets , 2012, 2012 15th International IEEE Conference on Intelligent Transportation Systems.

[20]  Belhassen Zouari,et al.  Shortest Path Search in Dynamic Reliability Space: Hierarchical Coloured Petri Nets Model and Application to a Pipeline Network , 2014, 2014 UKSim-AMSS 16th International Conference on Computer Modelling and Simulation.

[21]  Binshan Lin,et al.  Exploring airport traffic capability using Petri net based model , 2011, Expert Syst. Appl..

[22]  A. Di Febbraro,et al.  Modelling automated material handling in intermodal terminals , 2001, 2001 IEEE/ASME International Conference on Advanced Intelligent Mechatronics. Proceedings (Cat. No.01TH8556).

[23]  Yung-Hsiang Cheng,et al.  A Fuzzy Petri Nets approach for railway traffic control in case of abnormality: Evidence from Taiwan railway system , 2009, Expert Syst. Appl..

[24]  Angela Di Febbraro,et al.  ON USING PETRI NETS TO DETECT FAULTY BEHAVIOURS IN AN INTERMODAL CONTAINER TERMINAL , 2003 .

[25]  Nazir Ahmad Zafar,et al.  Formalizing air traffic control system using agent-based Mobile Petri Nets , 2015, 2015 International Conference on Information and Communication Technologies (ICICT).

[26]  Mariagrazia Dotoli,et al.  An urban traffic network model via coloured timed Petri nets , 2004 .

[27]  Juan Zou,et al.  Petri nets model of emergency control system for shipping , 2012, Proceedings of 2012 9th IEEE International Conference on Networking, Sensing and Control.

[28]  Mehmet Turan Soylemez Fail-Safe Signalization and Interlocking Design for a Railway Yard: An Automation Petri Net Approach , 2010 .

[29]  Angela Di Febbraro,et al.  A petri net modelling approach of intermodal terminals based on Metrocargo system , 2006, 2006 IEEE Intelligent Transportation Systems Conference.

[30]  Fatima Debbat,et al.  Modelling and control of a multimodal transportation system using hybrid Petri nets with fuzzy logic , 2013 .

[31]  C. Degano,et al.  Multi-agent coordination and collaboration for control and optimization strategies in an intermodal container terminal , 2002, IEEE International Engineering Management Conference.

[32]  MengChu Zhou,et al.  Hybrid Petri Net Modeling and Schedulability Analysis of High Fusion Point Oil Transportation Under Tank Grouping Strategy for Crude Oil Operations in Refinery , 2010, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[33]  Walter Ukovich,et al.  Freeway Traffic Modeling and Control in a First-Order Hybrid Petri Net Framework , 2014, IEEE Transactions on Automation Science and Engineering.

[34]  Alan A. Desrochers,et al.  Modeling infrastructure interdependencies using Petri nets , 2003, SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483).

[35]  MuDer Jeng,et al.  Design of Traffic Safety Control Systems for Railroads and Roadways Using Timed Petri Nets , 2015 .

[36]  Agostino Marcello Mangini,et al.  A Generalized Stochastic Petri Net Approach for Modeling Activities of Human Operators in Intermodal Container Terminals , 2016, IEEE Transactions on Automation Science and Engineering.

[37]  Anders Moen Hagalisletto,et al.  Constructing and Refining Large-Scale Railway Models Represented by Petri Nets , 2007, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[38]  Mariagrazia Dotoli,et al.  Freeway Traffic Control via Route Guidance: An Approach Based on a First Order Hybrid Petri Nets Model , 2012, ADHS.

[39]  Somsak Vanit-Anunchai Modelling Railway Interlocking Tables Using Coloured Petri Nets , 2010, COORDINATION.

[40]  MengChu Zhou,et al.  A Petri Net-Based Heuristic Algorithm for Realizability of Target Refining Schedule for Oil Refinery , 2008, IEEE Transactions on Automation Science and Engineering.

[41]  Bin Liu,et al.  Development of timed Colour Petri net simulation models for air cargo terminal operations , 2006, Comput. Ind. Eng..

[42]  Yi Xiong,et al.  Analysis of Emergency Response for Accident of Oil and Gas Pipeline Based on Stochastic Petri Net , 2016, ISCRAM.

[43]  Bo Zhu,et al.  Research on maintenance processes modeling techniques for ships based on Petri nets , 2009, 2009 2nd International Conference on Power Electronics and Intelligent Transportation System (PEITS).

[44]  Yu Liu,et al.  System simulation of capacity for container terminal based on Stochastic Petri Net , 2008, 2008 IEEE International Conference on Automation and Logistics.

[45]  Bo Yang,et al.  Bottlenecks detection of track allocation schemes at rail stations by Petri nets , 2009 .

[46]  Guo Zhou,et al.  Verification and Analysis of RSSP-1 Protocol Based on Colored Petri Nets , 2012, 2012 Second International Conference on Business Computing and Global Informatization.

[47]  Shuhai Liu,et al.  Comprehensive risk evaluation of long-distance oil and gas transportation pipelines using a fuzzy Petri net model , 2016 .

[48]  Yuki Tanaka,et al.  Petri Net Decomposition Approach for Dispatching and Conflict-Free Routing of Bidirectional Automated Guided Vehicle Systems , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[49]  Chuei-Tin Chang,et al.  Petri-Net-Based Strategy To Synthesize the Operating Procedures for Cleaning Pipeline Networks , 2005 .

[50]  Petros A. Ioannou,et al.  Petri Net Modeling and Analysis of Automated Container Terminal Using Automated Guided Vehicle Systems , 2002 .

[51]  Guido Maione,et al.  A preliminary Petri net model of the transshipment processes in the Taranto container terminal , 2005, 2005 IEEE Conference on Emerging Technologies and Factory Automation.

[52]  Krasimira Filipova,et al.  Application of Petri nets for transport streams modeling , 2002 .

[53]  Mariagrazia Dotoli,et al.  Resource planning of intermodal terminals using timed Petri nets , 2016, 2016 13th International Workshop on Discrete Event Systems (WODES).

[54]  F. A. Hailin Zhang,et al.  Modeling and Analysis of Container Terminal Logistics System by Extended Generalized Stochastic Petri Nets , 2006, SOLI 2006.

[55]  Angela Di Febbraro,et al.  Fault diagnosis in an intermodal container terminal , 2001, ETFA 2001. 8th International Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.01TH8597).

[56]  M. Dotoli,et al.  A COLOURED TIMED PETRI NET MODEL FOR REAL TIME CONTROL OF AGV SYSTEMS , 2008 .

[57]  Kap Hwan Kim,et al.  THE OPTIMAL SIZING OF THE STORAGE SPACE AND HANDLING FACILITIES FOR IMPORT CONTAINERS , 2002 .

[58]  Mariagrazia Dotoli,et al.  A freeway traffic control model by first order hybrid Petri nets , 2011, 2011 IEEE International Conference on Automation Science and Engineering.

[59]  Walter Ukovich,et al.  The impact of ICT on intermodal transportation systems: A modelling approach by Petri nets , 2010 .

[60]  Chuei-Tin Chang,et al.  Petri‐net based integer programs for synthesizing optimal material‐transfer procedures in pipeline networks , 2006 .

[61]  Isabel Demongodin,et al.  Modeling and Analysis of Transportation Networks Using Batches Petri Nets with Controllable Batch Speed , 2009, Petri Nets.

[62]  Walter Ukovich,et al.  A Colored Petri Net Model of motorways for risk evaluation of HAZMAT transportation , 2011, 2011 IEEE International Conference on Systems, Man, and Cybernetics.

[63]  Li Yaxiong,et al.  Modeling and simulation of full logistics process of the port based on Petri nets , 2010, 2010 2nd IEEE International Conference on Information Management and Engineering.

[64]  Jagjit Singh Srai,et al.  Hierarchical modelling of Last Mile logistic distribution system , 2014 .

[65]  Pasquale Legato,et al.  Modeling and solving rich quay crane scheduling problems , 2012, Comput. Oper. Res..

[66]  Wei Shi,et al.  Performance Modeling of Asynchronous Pipelines -- An Overview , 2012 .

[67]  René K. Boel,et al.  A Continuous Petri Net Approach for Model Predictive Control of Traffic Systems , 2010, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[68]  Igor Kabashkin Modelling of Regional Transit Multimodal Transport Accessibility with Petri Net Simulation , 2015 .

[69]  Liu Haoxue,et al.  Evaluation Emergency Transport Performances in Response for Hazardous Materials Road Transportation Accident Based on SPN: A Case of Jiangsu , 2010, 2010 International Conference on Optoelectronics and Image Processing.

[70]  Belhassen Zouari,et al.  A high-level Petri nets approach for multi-objective optimization in pipeline networks , 2014, 2014 4th International Conference On Simulation And Modeling Methodologies, Technologies And Applications (SIMULTECH).

[71]  Dirk Söffker,et al.  Cooperative Arrival Management in Air Traffic Control - A Coloured Petri Net Model of Sequence Planning , 2008, Petri Nets.

[72]  Bernd Werther,et al.  Colored Petri Net Based Formal Airport Control Model for Simulation and Analysis of Airport Control Processes , 2007, HCI.

[73]  Roberto Trunfio,et al.  A Timed Petri Net Model For The Quay Crane Scheduling Problem , 2014, ECMS.

[74]  MengChu Zhou,et al.  Shortest Routing of Bidirectional Automated Guided Vehicles Avoiding Deadlock and Blocking , 2007, IEEE/ASME Transactions on Mechatronics.

[75]  Walter Ukovich,et al.  A Risk Assessment Framework for Hazmat Transportation in Highways by Colored Petri Nets , 2015, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[76]  Mehmet Turan Soylemez,et al.  The Application of Automation Theory to Railway Signalization Systems: The Case of Turkish National Railway Signalization Project , 2011 .

[77]  D. Kezic,et al.  P - Invariant based Petri net traffic controller , 2009, 2009 17th Mediterranean Conference on Control and Automation.

[78]  Igor Kabashkin Heuristic Based Decision Support System for Choice of Alternative Routes in the Large-Scale Transportation Transit System on the Base of Petri Net Model , 2016 .

[79]  Yan Liu,et al.  Travel routes estimation in transportation systems modeled by Petri Nets , 2010, Proceedings of 2010 IEEE International Conference on Vehicular Electronics and Safety.

[80]  Somsak Vanit-Anunchai Verification of Railway Interlocking Tables Using Coloured Petri Nets , .

[81]  Alessandro Giua,et al.  Monitor design for colored Petri nets: An application to deadlock prevention in railway networks , 2006 .

[82]  Tatsushi Nishi,et al.  Petri Net Decomposition Approach to Optimization of Route Planning Problems for AGV Systems , 2010, IEEE Transactions on Automation Science and Engineering.

[83]  M. S. Durmus,et al.  Railway signalization and interlocking design via Automation Petri Nets , 2009, 2009 7th Asian Control Conference.

[84]  Peter Kemper,et al.  MODELING AND ANALYSIS OF A FREIGHT TERMINAL WITH STOCHASTIC PETRI NETS. , 2000 .

[85]  Kap Hwan Kim,et al.  Models and Methods for Operations in Port Container Terminals , 2005 .

[86]  Akio Imai,et al.  Berth allocation at indented berths for mega-containerships , 2007, Eur. J. Oper. Res..

[87]  MengChu Zhou,et al.  Resource-oriented Petri nets in deadlock avoidance of AGV systems , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).

[88]  MengChu Zhou,et al.  Schedulability Analysis of Short-Term Scheduling for Crude Oil Operations in Refinery With Oil Residency Time and Charging-Tank-Switch-Overlap Constraints , 2011, IEEE Transactions on Automation Science and Engineering.

[89]  Stjepan Vidačić,et al.  Planning and Optimization of AGV Jobs by Petri Net and Genetic Algorithm , 2012 .

[90]  Bai Yang,et al.  Capability evaluation of air cargo export handling system using Stochastic Petri Net , 2010, 2010 International Conference on Logistics Systems and Intelligent Management (ICLSIM).

[91]  Mengchu Zhou,et al.  Modeling and deadlock control of automated guided vehicle systems , 2004, IEEE/ASME Transactions on Mechatronics.

[92]  Mariagrazia Dotoli,et al.  A Multi-Agent Advanced Traveler Information System for Optimal Trip Planning in a Co-Modal Framework , 2017, IEEE Transactions on Intelligent Transportation Systems.

[93]  Alessandro Giua,et al.  Modeling and Supervisory Control of Railway Networks Using Petri Nets , 2008, IEEE Transactions on Automation Science and Engineering.

[94]  MengChu Zhou,et al.  Short-Term Schedulability Analysis of Multiple Distiller Crude Oil Operations in Refinery With Oil Residency Time Constraint , 2009, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[95]  Jacek Skorupski,et al.  Aircraft Taxi Route Choice in Case of Conflict Points Existence , 2016, TST.

[96]  Mamun Bin Ibne Reaz,et al.  A Review on the Applications of Petri Nets in Modeling, Analysis, and Control of Urban Traffic , 2013, IEEE Transactions on Intelligent Transportation Systems.