A modular Petri net to modeling and scenario analysis of a network of road traffic signals

Abstract The dynamic behavior of a group of traffic signals controlling a network of intersections is a complex discrete event system that can be modeled by Petri nets. The approach used in this paper proposes a components-based design, which increases modularity, reduces complexity and is a good practice according to modern Systems Engineering. The main system elements are specified based on the proposed Petri net component with time intervals associated to places. The specified models are simulated through the common token player algorithm, and formal analysis using invariants and theorem proving are applied to verify models' soundness and to reason on specific scenarios.

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

[2]  Yi-Sheng Huang,et al.  Modeling and Analysis of Urban Traffic Lights Control Systems Using Timed CP-nets , 2008, J. Inf. Sci. Eng..

[3]  R D Bretherton,et al.  SCOOT-a Traffic Responsive Method of Coordinating Signals , 1981 .

[4]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[5]  William R. McShane,et al.  A review of pedestrian safety models for urban areas in Low and Middle Income Countries , 2016 .

[6]  Shian-Shyong Tseng,et al.  Collaborative real-time traffic information generation and sharing framework for the intelligent transportation system , 2010, Inf. Sci..

[7]  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..

[8]  Yi-Sheng Huang.  Design of Traffic Light Control Systems Using Statecharts , 2006, Comput. J..

[9]  S. Calvez,et al.  P-Time Petri Nets for Manufacturing Systems with Staying Time Constraints , 1997 .

[10]  Yi-Sheng Huang,et al.  Modeling traffic signal control systems using timed colour Petri nets , 2005, 2005 IEEE International Conference on Systems, Man and Cybernetics.

[11]  Patrick Lincoln,et al.  Linear logic , 1992, SIGA.

[12]  Jos L. M. Vrancken,et al.  Road Traffic Signals Modeling and Analysis with Petri nets and Linear Logic , 2007, 2007 IEEE International Conference on Networking, Sensing and Control.

[13]  J Y Luk,et al.  TRANSYT: traffic network study tool , 1990 .

[14]  Yi-Sheng Huang,et al.  Modelling and analysis of air traffic control systems using hierarchical timed coloured Petri nets , 2011 .

[15]  George F. List,et al.  Modeling traffic signal control using Petri nets , 2004, IEEE Transactions on Intelligent Transportation Systems.

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

[17]  Hamid Demmou,et al.  Critical scenarios derivation methodology for mechatronic systems , 2004, Reliab. Eng. Syst. Saf..

[18]  M. dos Santos Soares,et al.  Scenario Analysis of a Network of Traffic Signals Designed with Petri Nets , 2007 .

[19]  Francesco Basile,et al.  A hybrid model for real time simulation of urban traffic , 2012 .

[20]  William B. Rouse,et al.  Engineering complex systems: implications for research in systems engineering , 2003, IEEE Trans. Syst. Man Cybern. Part C.

[21]  Angela Di Febbraro,et al.  URBAN TRAFFIC CONTROL IN MODULAR/SWITCHING DETERMINISTIC-TIMED PETRI NETS , 2006 .

[22]  Walter Vogler,et al.  Modular Construction and Partial Order Semantics of Petri Nets , 1992, Lecture Notes in Computer Science.

[23]  Hélène Kirchner,et al.  Policy Composition Based on Petri Nets , 2009, 2009 33rd Annual IEEE International Computer Software and Applications Conference.

[24]  Michel dos Santos Soares.  Modeling and analysis of discrete event systems using a Petri net component , 2011, 2011 IEEE International Conference on Systems, Man, and Cybernetics.

[25]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[26]  Glynn Winskel,et al.  Petri Nets as Models of Linear Logic , 1990, CAAP.

[27]  Laure Petrucci,et al.  Experimenting Formal Proofs of Petri Nets Refinements , 2008, Electron. Notes Theor. Comput. Sci..

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

[29]  Rüdiger Valk,et al.  Petri nets for systems engineering - a guide to modeling, verification, and applications , 2010 .

[30]  M. Nivat.  Fiftieth volume of theoretical computer science , 1988 .

[31]  Jean-Loup Farges,et al.  Design by Petri nets of an intersection signal controller , 1996 .

[32]  Frank DiCesare,et al.  The Application of Petri Nets to the Modeling, Analysis and Control of Intelligent Urban Traffic Networks , 1994, Application and Theory of Petri Nets.

[33]  Michael Heymann,et al.  Control of discrete event systems modeled as hierarchical state machines , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.

[34]  Carl A. Gunter,et al.  Nets as Tensor Theories , 1989 .

[35]  MengChu Zhou,et al.  Design and implementation of a petri net based supervisor for a flexible manufacturing system , 1992, Autom..

[36]  Lawrence A. Klein,et al.  Sensor Technologies and Data Requirements for Its , 2001 .

[37]  Dimitri Lefebvre,et al.  Continuous and timed Petri nets for the macroscopic and microscopic traffic flow modelling , 2005, Simul. Model. Pract. Theory.

[38]  C. Jotin Khisty,et al.  Transportation Engineering: An Introduction , 1990 .

[39]  F. Girault,et al.  A logic for Petri nets , 1997 .

[40]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.