메뉴 건너뛰기




Volumn 14, Issue 2, 2013, Pages 858-870

A review on the applications of petri nets in modeling, analysis, and control of urban traffic

Author keywords

Petri net (PN); traffic models; traffic signal optimization; urban traffic systems

Indexed keywords

CONGESTION MANAGEMENT; CONTROL AND OPTIMIZATION; LITERATURE SURVEY; MODELING AND SIMULATION; RESEARCH POTENTIAL; TRAFFIC MODEL; TRAFFIC SIGNAL OPTIMIZATIONS; URBAN TRAFFIC SYSTEM;

EID: 84878742083     PISSN: 15249050     EISSN: None     Source Type: Journal    
DOI: 10.1109/TITS.2013.2246153     Document Type: Article
Times cited : (63)

References (111)
  • 1
    • 77958060149 scopus 로고    scopus 로고
    • Faculty Inf. Technol. Syst., Delft Univ. Technol., Delft, The Netherlands, Tech. Rep. Bds:01-11
    • T. Belleman, B. D. Schutter, and B. D. Moor, "Models for traffic control, " Faculty Inf. Technol. Syst., Delft Univ. Technol., Delft, The Netherlands, Tech. Rep. Bds:01-11, 2002.
    • (2002) Models for Traffic Control
    • Belleman, T.1    Schutter, B.D.2    Moor, B.D.3
  • 2
    • 33847703803 scopus 로고    scopus 로고
    • Queuing models for analysis of traffic adaptive signal control
    • DOI 10.1109/TITS.2006.888619
    • P. B. Mirchandani and N. Zou, "Queuing models for analysis of traffic adaptive signal control, " IEEE Trans. Intell. Transp. Syst., vol. 8, no. 1, pp. 50-59, Mar. 2007. (Pubitemid 46376153)
    • (2007) IEEE Transactions on Intelligent Transportation Systems , vol.8 , Issue.1 , pp. 50-59
    • Mirchandani, P.B.1    Ning, Z.2
  • 3
    • 77953120730 scopus 로고    scopus 로고
    • A review of the applications of agent technology in traffic and transportation systems
    • Jun.
    • B. Chen and H. H. Cheng, "A review of the applications of agent technology in traffic and transportation systems, " IEEE Trans. Intell. Transp. Syst., vol. 11, no. 2, pp. 485-497, Jun. 2010.
    • (2010) IEEE Trans. Intell. Transp. Syst. , vol.11 , Issue.2 , pp. 485-497
    • Chen, B.1    Cheng, H.H.2
  • 4
    • 0035400360 scopus 로고    scopus 로고
    • An activity-based time-dependent traffic assignment model
    • DOI 10.1016/S0191-2615(00)00010-2, PII S0191261500000102
    • W. H. K. Lam and Y. Yin, "An activity-based time-dependent traffic assignment model, " Transp. Res. Part B, Methodol., vol. 35, no. 6, pp. 549-574, Jul. 2001. (Pubitemid 32555012)
    • (2001) Transportation Research Part B: Methodological , vol.35 , Issue.6 , pp. 549-574
    • Lam, W.H.K.1    Yin, Y.2
  • 5
    • 70350593612 scopus 로고    scopus 로고
    • Intelligent model of urban road tunnel ventilation system based on multi-level neural network
    • C. Ma, D. Jiang, and X. Yue, "Intelligent model of urban road tunnel ventilation system based on multi-level neural network, " in Proc. PACCS, 2009, pp. 636-639.
    • (2009) Proc. PACCS , pp. 636-639
    • Ma, C.1    Jiang, D.2    Yue, X.3
  • 6
    • 77749314587 scopus 로고    scopus 로고
    • A traffic flow forecasting model based on BP neural network
    • Dec. 19-20
    • G. Xiaojian and Z. Quan, "A traffic flow forecasting model based on BP neural network, " in Proc. 2nd Int. Conf. PEITS, Dec. 19-20, 2009, vol. 3, pp. 311-314.
    • (2009) Proc. 2nd Int. Conf. PEITS , vol.3 , pp. 311-314
    • Xiaojian, G.1    Quan, Z.2
  • 8
    • 0024645936 scopus 로고
    • Petri Nets: Properties, analysis and applications
    • Apr.
    • T. Murata, "Petri Nets: Properties, analysis and applications, " Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
    • (1989) Proc. IEEE , vol.77 , Issue.4 , pp. 541-580
    • Murata, T.1
  • 12
    • 13344260642 scopus 로고    scopus 로고
    • On representing signalized urban areas by means of deterministic-timed Petri nets
    • Proceedings - 7th International IEEE Conference on Intelligent Transportation Systems, ITSC 2004
    • A. D. Febbraro and D. Giglio, "On representing signalized urban areas by means of deterministic-timed Petri nets, " in Proc. IEEE Intell. Transp. Syst. Conf., Washington, DC, USA, 2004, pp. 372-377. (Pubitemid 40196702)
    • (2004) IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC , pp. 372-377
    • Febbraro, A.D.1    Giglio, D.2
  • 13
    • 33645652435 scopus 로고    scopus 로고
    • On adopting a Petri net-based switching modelling system to represent and control urban areas
    • DOI 10.1109/ITSC.2005.1520044, 1520044, ITSC 05: 2005 IEEE Intelligent Conference on Transportation Systems, Proceedings
    • A. D. Febbraro and D. Giglio, "On adopting a Petri net-based switching modeling system to represent and control urban areas, " in Proc. 8th Int. IEEE Conf. Intell. Transp. Syst., Vienna, Austria, 2005, pp. 185-190. (Pubitemid 44250195)
    • (2005) IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC , vol.2005 , pp. 185-190
    • Di Febbraro, A.1    Giglio, D.2
  • 14
    • 41849143836 scopus 로고    scopus 로고
    • Traffic-responsive signalling control through a modular/switching model represented via DTPN
    • 1707424, Proceedings of ITSC 2006: 2006 IEEE Intelligent Transportation Systems Conference
    • A. D. Febbraro and D. Giglio, "Traffic-responsive signalling control through a modular/switching model represented via DTPN, " in Proc. IEEE Intell. Transp. Syst. Conf., Toronto, ON, Canada, 2006, pp. 1430-1435. (Pubitemid 351492373)
    • (2006) IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC , pp. 1430-1435
    • Di Febbraro, A.1    Giglio, D.2
  • 15
    • 72449167017 scopus 로고    scopus 로고
    • On using Petri nets for representing and controlling signalized urban areas: New model and results
    • St. Louis, MO, USA
    • A. D. Febbraro, N. Sacco, and D. Giglio, "On using Petri nets for representing and controlling signalized urban areas: New model and results, " in Proc. 12th Int. IEEE Conf. Intell. Transp. Syst., St. Louis, MO, USA, 2009, pp. 1-8.
    • (2009) Proc. 12th Int. IEEE Conf. Intell. Transp. Syst. , pp. 1-8
    • Febbraro, A.D.1    Sacco, N.2    Giglio, D.3
  • 16
    • 0033325394 scopus 로고    scopus 로고
    • Stochastic p-timed Petri nets and their use for traffic queue estimation
    • J. L. Farges and J. L. Gallego, "Stochastic p-timed Petri nets and their use for traffic queue estimation, " in Proc. IEEE Conf. SMC, 1999, pp. 829-834.
    • (1999) Proc. IEEE Conf. SMC , pp. 829-834
    • Farges, J.L.1    Gallego, J.L.2
  • 17
    • 77952655385 scopus 로고    scopus 로고
    • Deterministic and stochastic Petri net for urban traffic systems
    • Singapore
    • M. A. Badamchizadeh and M. Joroughi, "Deterministic and stochastic Petri net for urban traffic systems, " in Proc. IACSIT Singapore Conf., Singapore, 2010, pp. 364-368.
    • (2010) Proc. IACSIT Singapore Conf. , pp. 364-368
    • Badamchizadeh, M.A.1    Joroughi, M.2
  • 19
    • 83355166792 scopus 로고    scopus 로고
    • A hybrid model for real-time simulation of urban traffic
    • Feb.
    • F. Basile, P. Chiacchio, and D. Teta, "A hybrid model for real-time simulation of urban traffic, " Control Eng. Pract., vol. 20, no. 2, pp. 123-137, Feb. 2012.
    • (2012) Control Eng. Pract. , vol.20 , Issue.2 , pp. 123-137
    • Basile, F.1    Chiacchio, P.2    Teta, D.3
  • 20
    • 29844444909 scopus 로고    scopus 로고
    • A compositional stochastic model for real time freeway traffic simulation
    • DOI 10.1016/j.trb.2005.05.001, PII S0191261505000573
    • R. K. Boel and L. Mihaylova, "A compositional stochastic model for real time freeway traffic simulation, " Transp. Res. Part B, Methodol., vol. 40, no. 4, pp. 319-334, May 2006. (Pubitemid 43033366)
    • (2006) Transportation Research Part B: Methodological , vol.40 , Issue.4 , pp. 319-334
    • Boel, R.1    Mihaylova, L.2
  • 21
    • 33744940832 scopus 로고    scopus 로고
    • An urban traffic network model via coloured timed Petri nets
    • DOI 10.1016/j.conengprac.2006.02.005, PII S0967066106000244
    • M. Dotoli and M. P. Fanti, "An urban traffic network model via coloured timed Petri nets, " Control Eng. Pract., vol. 14, no. 10, pp. 1213-1229, Oct. 2006. (Pubitemid 43842704)
    • (2006) Control Engineering Practice , vol.14 , Issue.10 , pp. 1213-1229
    • Dotoli, M.1    Fanti, M.P.2
  • 24
    • 84878680957 scopus 로고    scopus 로고
    • Traffic flow monitoring based on parameters estimation with continuous Petri net models
    • Paris, France, 2005, Paper T4-R-00-0462
    • P. Thomas and D. Lefebvre, "Traffic flow monitoring based on parameters estimation with continuous Petri net models, " presented at the IMACS, Paris, France, 2005, Paper T4-R-00-0462.
    • Presented at the IMACS
    • Thomas, P.1    Lefebvre, D.2
  • 25
    • 79960943015 scopus 로고    scopus 로고
    • Light controlled intersection model based on the continuous Petri net
    • M. Kutil and Z. Hanzalek, "Light controlled intersection model based on the continuous Petri net, " in Proc. 12th IFAC Symp. Control Transp. Syst., 2009, pp. 519-525.
    • (2009) Proc. 12th IFAC Symp. Control Transp. Syst. , pp. 519-525
    • Kutil, M.1    Hanzalek, Z.2
  • 27
    • 10644231952 scopus 로고    scopus 로고
    • Urban traffic control structure based on hybrid Petri nets
    • Dec.
    • A. D. Febbraro, D. Giglio, and N. Sacco, "Urban traffic control structure based on hybrid Petri nets, " IEEE Trans. Intell. Transp. Syst., vol. 5, no. 4, pp. 224-237, Dec. 2004.
    • (2004) IEEE Trans. Intell. Transp. Syst. , vol.5 , Issue.4 , pp. 224-237
    • Febbraro, A.D.1    Giglio, D.2    Sacco, N.3
  • 28
    • 64249151312 scopus 로고    scopus 로고
    • Modeling and controlling traffic behaviour with continuous Petri nets
    • Prague, Czech Republic
    • J. Julvez and R. Boel, "Modeling and controlling traffic behaviour with continuous Petri nets, " in Proc. 16th Triennial World Congr. IFAC, Prague, Czech Republic, 2005, p. 291.
    • (2005) Proc. 16th Triennial World Congr. IFAC , pp. 291
    • Julvez, J.1    Boel, R.2
  • 29
    • 84878695062 scopus 로고    scopus 로고
    • Crossroad traffic lights control based on hybrid Petri net model
    • Paris, France, 2005, Paper T6-I-50-0464: C
    • C. Tolba, D. Lefebvre, P. Thomas, and A. E. Moudni, "Crossroad traffic lights control based on hybrid Petri net model, " presented at the IMACS, Paris, France, 2005, Paper T6-I-50-0464: C.
    • Presented at the IMACS
    • Tolba, C.1    Lefebvre, D.2    Thomas, P.3    Moudni, A.E.4
  • 30
    • 78649432564 scopus 로고    scopus 로고
    • Hybrid Petri net model of a traffic intersection in an urban network
    • Yokohama, Japan, Sep. 8-10
    • R. Vazquez, H. Y. Sutarto, R. Boel, andM. Silva, "Hybrid Petri net model of a traffic intersection in an urban network, " in Proc. IEEE Int. Conf. Control Appl., Yokohama, Japan, Sep. 8-10, 2010, pp. 658-664.
    • (2010) Proc. IEEE Int. Conf. Control Appl. , pp. 658-664
    • Vazquez, R.1    Sutarto, H.Y.2    Boel, R.3    Silva, M.4
  • 32
    • 69949182421 scopus 로고    scopus 로고
    • An urban traffic network model by first order hybrid Petri nets
    • M. Dotoli, M. P. Fanti, and G. Iacobellis, "An urban traffic network model by first order hybrid Petri nets, " in Proc. IEEE Conf. SMC, 2008, pp. 1929-1934.
    • (2008) Proc. IEEE Conf. SMC , pp. 1929-1934
    • Dotoli, M.1    Fanti, M.P.2    Iacobellis, G.3
  • 33
    • 72049092436 scopus 로고    scopus 로고
    • Intersection traffic system simulation based on hybrid CPN model
    • Zhangjiajie, China
    • L. Zhang and L. Jia, "Intersection traffic system simulation based on hybrid CPN model, " in Proc. 2nd Int. Conf. Intell. Comput. Technol. Autom., Zhangjiajie, China, 2009, pp. 644-647.
    • (2009) Proc. 2nd Int. Conf. Intell. Comput. Technol. Autom. , pp. 644-647
    • Zhang, L.1    Jia, L.2
  • 35
    • 0032260233 scopus 로고    scopus 로고
    • Hybrid Petri nets for performance analysis of transportation systems
    • Tampa, FL, USA
    • A. D. Febbraro and S. Sacone, "Hybrid Petri nets for performance analysis of transportation systems, " in Proc. 37th IEEE Conf. Decision Control, Tampa, FL, USA, 1998, pp. 3232-3237.
    • (1998) Proc. 37th IEEE Conf. Decision Control , pp. 3232-3237
    • Febbraro, A.D.1    Sacone, S.2
  • 36
    • 33847205739 scopus 로고    scopus 로고
    • Derivation of the fundamental traffic diagram for two circular roads and a crossing using minplus algebra and Petri net modeling
    • DOI 10.1109/CDC.2005.1582474, 1582474, Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05
    • N. Farhi, M. Goursat, and J. P. Quadrat, "Derivation of the fundamental traffic diagram for two circular roads and a crossing using minplus algebra and Petri net modeling, " in Proc. 44th IEEE Conf. Decision Control/Eur. Control Conf., Seville, Spain, 2005, pp. 2119-2124. (Pubitemid 46297283)
    • (2005) Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05 , vol.2005 , pp. 2119-2124
    • Farhi, N.1    Goursat, M.2    Quadrat, J.P.3
  • 37
    • 0034472166 scopus 로고    scopus 로고
    • Performance analysis of traffic control systems based upon stochastic timed Petri net models
    • DOI 10.1016/S0218-1940(00)00036-5
    • J. C. Wang, C. Jin, and Y. Deng, "Performance analysis of traffic networks based upon stochastic timed Petri net models, " Int. J. Softw. Eng. Know. Eng., vol. 10, no. 6, pp. 735-757, Dec. 2000. (Pubitemid 32168380)
    • (2000) International Journal of Software Engineering and Knowledge Engineering , vol.10 , Issue.6 , pp. 735-757
    • Wang, J.1    Deng, Y.2    Jin, C.3
  • 38
    • 19744373910 scopus 로고    scopus 로고
    • Continuous and timed Petri nets for the macroscopic and microscopic traffic flow modelling
    • DOI 10.1016/j.simpat.2005.01.001, PII S1569190X05000122
    • C. Tolba, D. Lefebvre, P. Thomas, and A. E. Moudni, "Continuous and timed Petri nets for the macroscopic and microscopic traffic flow modeling, " Simul., Model. Pract. Theory, vol. 13, no. 5, pp. 407-436, Jul. 2005. (Pubitemid 40743850)
    • (2005) Simulation Modelling Practice and Theory , vol.13 , Issue.5 , pp. 407-436
    • Tolba, C.1    Lefebvre, D.2    Thomas, P.3    El Moudni, A.4
  • 41
    • 56449105424 scopus 로고    scopus 로고
    • Modeling of urban traffic systems based on dynamic stochastic fluid Petri net
    • Guangzhou, China
    • J. Li and Q. Li, "Modeling of urban traffic systems based on dynamic stochastic fluid Petri net, " in Proc. Workshop Power Electron. Intell. Transp. Syst., Guangzhou, China, 2008, pp. 485-491.
    • (2008) Proc. Workshop Power Electron. Intell. Transp. Syst. , pp. 485-491
    • Li, J.1    Li, Q.2
  • 42
    • 0030151915 scopus 로고    scopus 로고
    • Applications of pétri networks to transportation network modeling
    • PII S0018954596028976
    • A. Tzes, S. Kim, and W. R. McShane, "Applications of Petri networks to transportation network modeling, " IEEE Trans. Veh. Technol., vol. 45, no. 2, pp. 391-400, May 1996. (Pubitemid 126772698)
    • (1996) IEEE Transactions on Vehicular Technology , vol.45 , Issue.2 , pp. 391-400
    • Tzes, A.1    Kim, S.2    McShane, W.R.3
  • 43
    • 51749120602 scopus 로고    scopus 로고
    • A timed coloured Petri net supervisor for urban traffic networks
    • Beijing, China
    • Y. S. Huang, T. H. Chung, and J. H. Lin, "A timed coloured Petri net supervisor for urban traffic networks, " in Proc. IMACS Multic. CESA, Beijing, China, 2006, pp. 2151-2156.
    • (2006) Proc. IMACS Multic. CESA , pp. 2151-2156
    • Huang, Y.S.1    Chung, T.H.2    Lin, J.H.3
  • 44
    • 61849176887 scopus 로고    scopus 로고
    • Modeling and analysis of traffic light control systems
    • Mar.
    • Y. S. Huang and P. J. Su, "Modeling and analysis of traffic light control systems, " IET Control Theory Appl., vol. 3, no. 3, pp. 340-350, Mar. 2009.
    • (2009) IET Control Theory Appl. , vol.3 , Issue.3 , pp. 340-350
    • Huang, Y.S.1    Su, P.J.2
  • 45
    • 78650470579 scopus 로고    scopus 로고
    • Modeling ring-barrier traffic controllers using colored timed stochastic Petri nets
    • Madeira Island, Portugal
    • M. N. Mladenovic and M. M. Abbas, "Modeling ring-barrier traffic controllers using colored timed stochastic Petri nets, " in Proc. 13th Int. IEEE Annu. Conf. Intell. Transp. Syst., Madeira Island, Portugal, 2010, pp. 243-248.
    • (2010) Proc. 13th Int. IEEE Annu. Conf. Intell. Transp. Syst. , pp. 243-248
    • Mladenovic, M.N.1    Abbas, M.M.2
  • 46
    • 4544291642 scopus 로고    scopus 로고
    • Modeling traffic signal control using Petri nets
    • Sep.
    • G. F. List andM. Cetin, "Modeling traffic signal control using Petri nets, " IEEE Trans. Intell. Transp. Syst., vol. 5, no. 3, pp. 177-187, Sep. 2004.
    • (2004) IEEE Trans. Intell. Transp. Syst. , vol.5 , Issue.3 , pp. 177-187
    • List, M.1    Cetin, G.F.2
  • 47
    • 84866883278 scopus 로고    scopus 로고
    • A modular Petri net to modeling and scenario analysis of a network of road traffic signals
    • Nov.
    • M. S. Soares and J. Vrancken, "A modular Petri net to modeling and scenario analysis of a network of road traffic signals, " Control Eng. Pract., vol. 20, no. 11, pp. 1183-1194, Nov. 2012. [Online]. Available: http://dx. doi.org/10. 1016/j. conengprac. 2012. 06. 005
    • (2012) Control Eng. Pract. , vol.20 , Issue.11 , pp. 1183-1194
    • Soares, M.S.1    Vrancken, J.2
  • 49
    • 83755178748 scopus 로고    scopus 로고
    • Multi-scale integration of Petri net modeling and software-in-The loop simulation for novel approach to assessment of operational capabilities in the advanced transportation controllers
    • Washington, DC, USA
    • M. N. Mladenovic and M. M. Abbas, "Multi-scale integration of Petri net modeling and software-in-the loop simulation for novel approach to assessment of operational capabilities in the advanced transportation controllers, " in Proc. 14th Int. IEEE Conf. Intell. Transp. Syst., Washington, DC, USA, 2011, pp. 1051-1056.
    • (2011) Proc. 14th Int. IEEE Conf. Intell. Transp. Syst. , pp. 1051-1056
    • Mladenovic, M.N.1    Abbas, M.M.2
  • 50
    • 84878740535 scopus 로고    scopus 로고
    • Simulation of traffic signal control by coloured Petri net
    • Aug.
    • B. Barzegar and H. Motanemi, "Simulation of traffic signal control by coloured Petri net, " Amer. J. Sci. Res., no. 23, pp. 13-21, Aug. 2011.
    • (2011) Amer. J. Sci. Res. , Issue.23 , pp. 13-21
    • Barzegar, B.1    Motanemi, H.2
  • 51
    • 84878703011 scopus 로고    scopus 로고
    • Fuzzy logic controller for traffic signal controller unit system and modeling with coloured Petri net
    • Nov.
    • B. Barzegar, "Fuzzy logic controller for traffic signal controller unit system and modeling with coloured Petri net, " Ind. J. Sci. Technol., vol. 4, no. 11, pp. 1420-1428, Nov. 2011.
    • (2011) Ind. J. Sci. Technol. , vol.4 , Issue.11 , pp. 1420-1428
    • Barzegar, B.1
  • 52
    • 84878697502 scopus 로고    scopus 로고
    • Modeling and validation of multi-phase traffic light controlled cross-type intersection using timed coloured Petri nets
    • R. A. Ganiyu, S. O. Olabiyisi, E. O. Omidiora, O. O. Okediran, and O. O. Alo, "Modeling and validation of multi-phase traffic light controlled cross-type intersection using timed coloured Petri nets, " Amer. J. Sci. Ind. Res., vol. 2, no. 5, pp. 807-819, 2011.
    • (2011) Amer. J. Sci. Ind. Res. , vol.2 , Issue.5 , pp. 807-819
    • Ganiyu, R.A.1    Olabiyisi, S.O.2    Omidiora, E.O.3    Okediran, O.O.4    Alo, O.O.5
  • 53
    • 0027849292 scopus 로고
    • Modeling and evaluation of traffic signal control using timed Petri nets
    • Le Touquet, France
    • H. Wang, G. F. List, and F. DiCesare, "Modeling and evaluation of traffic signal control using timed Petri nets, " in Proc. IEEE Int. Conf. Syst., Man Cybern., Le Touquet, France, 1993, pp. 180-185.
    • (1993) Proc. IEEE Int. Conf. Syst., Man Cybern. , pp. 180-185
    • Wang, H.1    List, G.F.2    Dicesare, F.3
  • 54
    • 84878710254 scopus 로고    scopus 로고
    • A graphical microcontroller programming tool based on extended S-system Petri net
    • K. M. Ng and Z. A. Haron, "A graphical microcontroller programming tool based on extended S-system Petri net, " in Proc. 4th WSEAS Int. Conf. CEA, 2010, pp. 159-163.
    • (2010) Proc. 4th WSEAS Int. Conf. CEA , pp. 159-163
    • Ng, K.M.1    Haron, Z.A.2
  • 55
    • 0003151750 scopus 로고    scopus 로고
    • Editing, visualizing, and implementing signal interpreted Petri nets
    • G. Frey and M. Minas, "Editing, visualizing, and implementing signal interpreted Petri nets, " in Proc. AWPN, 2000, pp. 57-62.
    • (2000) Proc. AWPN , pp. 57-62
    • Frey, G.1    Minas, M.2
  • 56
    • 0031096014 scopus 로고    scopus 로고
    • VHDL generation from hierarchical Petri net specifications of parallel controllers
    • Mar.
    • J. M. Fernandes, M. Adamski, and A. J. Proenca, "VHDL generation from hierarchical Petri net specifications of parallel controllers, " Proc. Inst. Elect Eng. E-Comput. Digit. Tech., vol. 144, no. 2, pp. 127-137, Mar. 1997.
    • (1997) Proc. Inst. Elect Eng. E-Comput. Digit. Tech. , vol.144 , Issue.2 , pp. 127-137
    • Fernandes, J.M.1    Adamski, M.2    Proenca, A.J.3
  • 57
    • 0036060691 scopus 로고    scopus 로고
    • Visual PLC-programming using signal interpreted Petri nets
    • Anchorage, AK, USA
    • M. Minas and G. Frey, "Visual PLC-programming using signal interpreted Petri nets, " in Proc. ACC, Anchorage, AK, USA, 2002, pp. 5019-5024.
    • (2002) Proc. ACC , pp. 5019-5024
    • Minas, M.1    Frey, G.2
  • 58
    • 77954703024 scopus 로고    scopus 로고
    • ErtCPN: The adaptations of the coloured Petri-Net theory for real-time embedded system modeling and automatic code generation
    • W. Kurdthongmee, "ertCPN: The adaptations of the coloured Petri-Net theory for real-time embedded system modeling and automatic code generation, " Songklanakarin J. Sci. Technol., vol. 25, no. 3, pp. 381-394, 2003.
    • (2003) Songklanakarin J. Sci. Technol. , vol.25 , Issue.3 , pp. 381-394
    • Kurdthongmee, W.1
  • 59
    • 0029373108 scopus 로고
    • Grafcet: A powerful tool for specification of logic controllers
    • Sep.
    • R. David, "Grafcet: A powerful tool for specification of logic controllers, " IEEE Trans. Control Syst. Technol., vol. 3, no. 3, pp. 253-268, Sep. 1995.
    • (1995) IEEE Trans. Control Syst. Technol. , vol.3 , Issue.3 , pp. 253-268
    • David, R.1
  • 61
    • 84904256579 scopus 로고    scopus 로고
    • A control strategy based on HPN and GRAFCET for real time traffic signal control
    • Dec.
    • M. K. Jibra, "A control strategy based on HPN and GRAFCET for real time traffic signal control, " J. Comput. Sci. Eng., vol. 10, no. 2, pp. 6-12, Dec. 2011.
    • (2011) J. Comput. Sci. Eng. , vol.10 , Issue.2 , pp. 6-12
    • Jibra, M.K.1
  • 62
    • 33744904663 scopus 로고
    • Dept. Elect., Comput., Syst. Eng., Rensselaer Polytech. Inst., Troy, NY, USA, CML Final Project Rep.
    • A. Giua, "A traffic light controller based on Petri nets, " Dept. Elect., Comput., Syst. Eng., Rensselaer Polytech. Inst., Troy, NY, USA, CML Final Project Rep., 1991.
    • (1991) A Traffic Light Controller Based on Petri Nets
    • Giua, A.1
  • 66
    • 84878714935 scopus 로고    scopus 로고
    • Development of a timed coloured Petri net model for time-of-day signal timing plan transitions
    • R. A. Ganiyu, S. O. Olabiyisi, E. O. Omidiora, O. O. Okediran, and T. A. Badmus, "Development of a timed coloured Petri net model for time-of-day signal timing plan transitions, " Innov. Syst. Des. Eng., vol. 2, no. 5, pp. 125-138, 2011.
    • (2011) Innov. Syst. Des. Eng. , vol.2 , Issue.5 , pp. 125-138
    • Ganiyu, R.A.1    Olabiyisi, S.O.2    Omidiora, E.O.3    Okediran, O.O.4    Badmus, T.A.5
  • 67
    • 0026114207 scopus 로고
    • Optimizing networks of traffic signals in real-time-The SCOOT method
    • Feb.
    • D. I. Robertson and R. D. Bretherton, "Optimizing networks of traffic signals in real-time-The SCOOT method, " IEEE Trans. Veh. Technol., vol. 40, no. 1, pp. 11-15, Feb. 1991.
    • (1991) IEEE Trans. Veh. Technol. , vol.40 , Issue.1 , pp. 11-15
    • Robertson, D.I.1    Bretherton, R.D.2
  • 68
    • 0003591310 scopus 로고
    • SCATS: A traffic responsive method for controlling urban traffic
    • Darlinghurst, NSW, Australia, Tech. Rep.
    • P. Lowrie, "SCATS: A traffic responsive method for controlling urban traffic, " Roads Traffic Authority, Traffic Control Section, Darlinghurst, NSW, Australia, Tech. Rep., 1990.
    • (1990) Roads Traffic Authority, Traffic Control Section
    • Lowrie, P.1
  • 69
    • 69949181617 scopus 로고    scopus 로고
    • Responsive traffic signals designed with Petri nets
    • Singapore
    • M. S. Soares and J. Vrancken, "Responsive traffic signals designed with Petri nets, " in Proc. IEEE Int. Conf. SMC, Singapore, 2008, pp. 1942-1947.
    • (2008) Proc. IEEE Int. Conf. SMC , pp. 1942-1947
    • Soares, M.S.1    Vrancken, J.2
  • 70
    • 84878679630 scopus 로고    scopus 로고
    • Computer simulation: A hybrid model for traffic signal optimization
    • Mar.
    • M. K. Jbira and M. Ahmed, "Computer simulation: A hybrid model for traffic signal optimization, " J. Inf. Process. Syst., vol. 7, no. 1, pp. 1-16, Mar. 2011.
    • (2011) J. Inf. Process. Syst. , vol.7 , Issue.1 , pp. 1-16
    • Jbira, M.K.1    Ahmed, M.2
  • 71
    • 84927747671 scopus 로고    scopus 로고
    • A hybrid model for model predictive control of urban traffic
    • Kos, Greece Jul.
    • F. Basile, P. Chiacchio, and D. Teta, "A hybrid model for model predictive control of urban traffic, " in Proc. 9th ECC, Kos, Greece, Jul. 2007, pp. 1823-1830.
    • (2007) Proc. 9th ECC , pp. 1823-1830
    • Basile, F.1    Chiacchio, P.2    Teta, D.3
  • 72
    • 57649149593 scopus 로고    scopus 로고
    • Modeling of urban traffic systems based on fluid stochastic petri nets
    • Jinan, China
    • B. Huang, C. Zhao, and Y. Sun, "Modeling of urban traffic systems based on fluid stochastic petri nets, " in Proc. 4th ICNC, Jinan, China, 2008, pp. 149-153.
    • (2008) Proc. 4th ICNC , pp. 149-153
    • Huang, B.1    Zhao, C.2    Sun, Y.3
  • 73
    • 84878724357 scopus 로고    scopus 로고
    • A hybrid modeling approach for traffic light control of oversaturated intersections
    • Feb.
    • M. K. Jbira, M. Ahmed, and A. Cherif, "A hybrid modeling approach for traffic light control of oversaturated intersections, " Int. J. Res. Rev. Comput. Sci., vol. 3, no. 1, pp. 1444-1452, Feb. 2012.
    • (2012) Int. J. Res. Rev. Comput. Sci. , vol.3 , Issue.1 , pp. 1444-1452
    • Jbira, M.K.1    Ahmed, M.2    Cherif, A.3
  • 74
    • 57849084470 scopus 로고    scopus 로고
    • Hybrid Petri net modeling of traffic flow and signal control
    • Kunming, China
    • L. G. Zhang, Z. L. Li, and Y. Z. Chen, "Hybrid Petri net modeling of traffic flow and signal control, " in Proc. 7th Int. Conf. Mach. Learn. Cybern., Kunming, China, 2008, pp. 2304-2308.
    • (2008) Proc. 7th Int. Conf. Mach. Learn. Cybern. , pp. 2304-2308
    • Zhang, L.G.1    Li, Z.L.2    Chen, Y.Z.3
  • 75
    • 84949201540 scopus 로고    scopus 로고
    • On applying Petri Nets to determine optimal offsets for coordinated traffic light timings
    • Singapore
    • A. D. Febbraro, D. Giglio, and N. Sacco, "On applying Petri Nets to determine optimal offsets for coordinated traffic light timings, " in Proc. IEEE 5th Int. Conf. Intell. Transp. Syst., Singapore, 2002, pp. 773-778.
    • (2002) Proc. IEEE 5th Int. Conf. Intell. Transp. Syst. , pp. 773-778
    • Febbraro, A.D.1    Giglio, D.2    Sacco, N.3
  • 77
    • 33746616547 scopus 로고    scopus 로고
    • A reliability framework for traffic signal control
    • DOI 10.1109/TITS.2006.874680, 1637679
    • H. K. Lo, "A reliability framework for traffic signal control, " IEEE Trans. Intell. Transp. Syst., vol. 7, no. 2, pp. 250-260, Jun. 2006. (Pubitemid 44144060)
    • (2006) IEEE Transactions on Intelligent Transportation Systems , vol.7 , Issue.2 , pp. 250-260
    • Lo, H.K.1
  • 79
    • 0343749326 scopus 로고
    • Time-dependent expressions for delay, stop rate and queue lengths at traffic signals
    • Victoria, NSW, Australia, Rep. AIR 367-1
    • R. Akcelik, "Time-dependent expressions for delay, stop rate and queue lengths at traffic signals, " Australian Road Res. Board, Victoria, NSW, Australia, Rep. AIR 367-1, 1980.
    • (1980) Australian Road Res. Board
    • Akcelik, R.1
  • 80
    • 0003954826 scopus 로고
    • Traffic signals: Capacity and timing analysis
    • Victoria, NSW, Australia, ARRB Rep. 123 Mar.
    • R. Akcelik, "Traffic signals: Capacity and timing analysis, " Australian Road Res. Board, Victoria, NSW, Australia, ARRB Rep. 123, Mar. 1981.
    • (1981) Australian Road Res. Board
    • Akcelik, R.1
  • 83
    • 0019624572 scopus 로고
    • Additional methods for reduction and expansion of marked graphs
    • R. Johnsonbaugh and T. Murata, "Additional methods for reduction and expansion of marked graphs, " IEEE Trans. Circuits Syst., vol. CAS-28, no. 10, pp. 1009-1014, Oct. 1981. (Pubitemid 12441064)
    • (1981) IEEE transactions on circuits and systems , vol.CAS-28 , Issue.10 , pp. 1009-1014
    • Johnsonbaugh Richard1    Murata Tadao2
  • 84
    • 0020795351 scopus 로고
    • Method for stepwise refinement and abstraction of petri nets
    • DOI 10.1016/0022-0000(83)90029-6
    • I. Suzuki and T. Murata, "A method for stepwise refinements and abstractions of Petri nets, " J. Comput. Syst. Sci., vol. 27, no. 1, pp. 51-76, Aug. 1983. (Pubitemid 14466779)
    • (1983) Journal of Computer and System Sciences , vol.27 , Issue.1 , pp. 51-76
    • Suzuki Ichiro1    Murata Tadao2
  • 85
    • 80054820830 scopus 로고    scopus 로고
    • Formalized learning automata with adaptive fuzzy coloured Petri nets: An application specific to managing traffic controls
    • Jun.
    • S. Barzegar, M. Davoudpour, M. R. Meybodi, A. Sadeghian, and M. Tirandazian, "Formalized learning automata with adaptive fuzzy coloured Petri nets: An application specific to managing traffic controls, " Scientia Itanica D, vol. 18, no. 3, pp. 554-565, Jun. 2011.
    • (2011) Scientia Itanica D , vol.18 , Issue.3 , pp. 554-565
    • Barzegar, S.1    Davoudpour, M.2    Meybodi, M.R.3    Sadeghian, A.4    Tirandazian, M.5
  • 86
    • 0025670913 scopus 로고    scopus 로고
    • Extended Petri net models for neural networks and fuzzy inference engines-Their net structural properties
    • New Orleans, LA, USA
    • K. Tsuji and T. Matsumoto, "Extended Petri net models for neural networks and fuzzy inference engines-Their net structural properties, " in Proc. IEEE Int. Symp. Circuits Syst., New Orleans, LA, USA, 2002, pp. 2670-2673.
    • (2002) Proc. IEEE Int. Symp. Circuits Syst. , pp. 2670-2673
    • Tsuji, K.1    Matsumoto, T.2
  • 88
    • 0010939212 scopus 로고
    • A high level Petri net model of olfactory bulb
    • San Francisco, CA, USA
    • K. Venkatesh, O. Masory, and A. Pandya, "A high level Petri net model of olfactory bulb, " in Proc. IEEE Int. Conf. Neural Netw., San Francisco, CA, USA, 1993, pp. 766-771.
    • (1993) Proc. IEEE Int. Conf. Neural Netw. , pp. 766-771
    • Venkatesh, K.1    Masory, O.2    Pandya, A.3
  • 89
    • 0029324816 scopus 로고
    • Petri net models of fuzzy neural networks
    • Jun.
    • S. I. Ahson, "Petri net models of fuzzy neural networks, " IEEE Trans. Syst., Man Cybern., vol. 25, no. 6, pp. 926-932, Jun. 1995.
    • (1995) IEEE Trans. Syst., Man Cybern. , vol.25 , Issue.6 , pp. 926-932
    • Ahson, S.I.1
  • 94
    • 0030242861 scopus 로고    scopus 로고
    • Fuzzy Petri nets with neural networks to model products quality from a CNC-milling machining centre
    • PII S1083442796053623
    • M. Hanna, A. Buck, and R. Smith, "Fuzzy Petri nets with neural networks to model products quality from a CNC-milling machining centre, " IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 26, no. 5, pp. 638-645, Sep. 1996. (Pubitemid 126780619)
    • (1996) IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans. , vol.26 , Issue.5 , pp. 638-645
    • Hanna, M.M.1    Buck, A.2    Smith, R.3
  • 98
    • 0031284453 scopus 로고    scopus 로고
    • Distributed computation of dynamic traffic equilibria
    • Apr.
    • M. B. Wisten and M. J. Smith, "Distributed computation of dynamic traffic equilibria, " Transp. Res. C, vol. 5, no. 2, pp. 77-93, Apr. 1997.
    • (1997) Transp. Res. C , vol.5 , Issue.2 , pp. 77-93
    • Wisten, M.B.1    Smith, M.J.2
  • 100
    • 84878729422 scopus 로고    scopus 로고
    • Petri net as a manufacturing system scheduling tool
    • Rijeka, Croatia: InTech
    • T. Aized, "Petri net as a manufacturing system scheduling tool, " in Advances in Petri Net Theory and Applications. Rijeka, Croatia: InTech, 2010.
    • (2010) Advances in Petri Net Theory and Applications
    • Aized, T.1
  • 101
    • 82455167191 scopus 로고    scopus 로고
    • Coloured Petri net scheduling models: Timed state space exploration shortages
    • Nov.
    • M. A. Piera and G. Music, "Coloured Petri net scheduling models: Timed state space exploration shortages, " Math. Comput. Simul., vol. 82, no. 3, pp. 428-441, Nov. 2011.
    • (2011) Math. Comput. Simul. , vol.82 , Issue.3 , pp. 428-441
    • Piera, M.A.1    Music, G.2
  • 102
    • 0036131852 scopus 로고    scopus 로고
    • Integrating Petri nets and hybrid heuristic search for the scheduling of FMS
    • DOI 10.1016/S0166-3615(01)00124-5, PII S0166361501001245
    • A. Reyes, H. Yu, G. Kelleher, and S. Lloyd, "Integrating Petri nets and hybrid heuristic search for the scheduling of FMS, " Comput. Ind., vol. 47, no. 1, pp. 123-138, Jan. 2002. (Pubitemid 33094244)
    • (2002) Computers in Industry , vol.47 , Issue.1 , pp. 123-138
    • Reyes, A.1    Yu, H.2    Kelleher, G.3    Lloyd, S.4
  • 103
    • 33645140954 scopus 로고    scopus 로고
    • Self-organizing traffic lights
    • C. Gershenson, "Self-organizing traffic lights, " Complex Syst., vol. 16, no. 1, pp. 29-53, 2005.
    • (2005) Complex Syst. , vol.16 , Issue.1 , pp. 29-53
    • Gershenson, C.1
  • 105
    • 33747448276 scopus 로고    scopus 로고
    • Traffic signal priority/preemption control with colored Petri nets
    • Vienna, Austria
    • L. Li, W.-H. Lin, and H. Liu, "Traffic signal priority/preemption control with colored Petri nets, " in Proc. 8th Int. IEEE Conf. Intell. Transp. Syst., Vienna, Austria, 2000, pp. 694-699.
    • (2000) Proc. 8th Int. IEEE Conf. Intell. Transp. Syst. , pp. 694-699
    • Li, L.1    Lin, W.-H.2    Liu, H.3
  • 106
    • 84878736216 scopus 로고    scopus 로고
    • A Petri net realization of an urban traffic system
    • Las Vegas, NV, USA
    • K. Roy and R. Dasgupta, "A Petri net realization of an urban traffic system, " in Proc. Int. Conf. Softw. Eng. Res. Pract., Las Vegas, NV, USA, 2011, pp. 138-142.
    • (2011) Proc. Int. Conf. Softw. Eng. Res. Pract. , pp. 138-142
    • Roy, K.1    Dasgupta, R.2
  • 107
    • 0036966980 scopus 로고    scopus 로고
    • Regulation of a public transport network with consideration of the passenger flow: Modeling of the system with high-level Petri nets
    • Hammamet, Tunisia
    • E. Castelain and K. Mesghouni, "Regulation of a public transport network with consideration of the passenger flow: Modeling of the system with high-level Petri nets, " in Proc. IEEE Int. Conf. Syst., Man Cybern., Hammamet, Tunisia, 2002.
    • (2002) Proc. IEEE Int. Conf. Syst., Man Cybern.
    • Castelain, E.1    Mesghouni, K.2
  • 108
    • 57849118762 scopus 로고    scopus 로고
    • Modeling and development of Multi-agent traffic control experimental system based on Petri net
    • Hunan, China
    • S. Baiying and H. Wei, "Modeling and development of Multi-agent traffic control experimental system based on Petri net, " in Proc. Int. Conf. Intell. Comput. Technol. Autom., Hunan, China, 2008, pp. 811-816.
    • (2008) Proc. Int. Conf. Intell. Comput. Technol. Autom. , pp. 811-816
    • Baiying, S.1    Wei, H.2
  • 109
    • 33845400511 scopus 로고    scopus 로고
    • Multiagent model using coloured Petri nets for the regulation traffic of an automated highway
    • Shanghai, China
    • A. Aitouche and S. Hayat, "Multiagent model using coloured Petri nets for the regulation traffic of an automated highway, " in Proc. IEEE ITSC, Shanghai, China, 2003, pp. 37-42.
    • (2003) Proc. IEEE ITSC , pp. 37-42
    • Aitouche, A.1    Hayat, S.2
  • 110
    • 82455167977 scopus 로고    scopus 로고
    • Petri net modeling of cooperation behavior of driver and co-pilot in advanced driving assistance systems
    • Dec.
    • N. Q. Wu, F. Chu, S. Mammar, and M. C. Zhou, "Petri net modeling of cooperation behavior of driver and co-pilot in advanced driving assistance systems, " IEEE Trans. Intell. Transp. Syst., vol. 12, no. 4, pp. 977-989, Dec. 2011.
    • (2011) IEEE Trans. Intell. Transp. Syst. , vol.12 , Issue.4 , pp. 977-989
    • Wu, N.Q.1    Chu, F.2    Mammar, S.3    Zhou, M.C.4


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.