Applications of pétri networks to transportation network modeling

Antonios Tzes, Seongho Kim, William R. McShane

Research output: Contribution to journalArticle

Abstract

The development of a mathematical modular framework based on Petri network (PN) theory to model a traffic network is the subject of this paper. Traffic intersections are the primitive elements of a transportation network and are characterized as event-driven and asynchronous systems. Petri networks have been utilized to model these discrete event systems; further analysis of their structure can reveal information relevant to the concurrency, parallelism, synchronization, and deadlock avoidance issues. The Petri-net model of a generic traffic junction is presented, with its deadlock avoidance property proven. These modular networks are effective in synchronizing their components and can be used for modeling purposes of an asynchronous large-scale transportation system. The derived model is suitable for simulations on a multiprocessor computer since its program execution safety is secured. The software pseudocode for simulating a transportation network model on a multiprocessor system is presented.

Original languageEnglish (US)
Pages (from-to)391-400
Number of pages10
JournalIEEE Transactions on Vehicular Technology
Volume45
Issue number2
DOIs
StatePublished - Dec 1 1996

Fingerprint

Transportation Networks
Network Modeling
Deadlock Avoidance
Traffic
Primitive Element
Asynchronous Systems
Traffic Network
Discrete Event Systems
Event-driven
Multiprocessor Systems
Concurrency
Multiprocessor
Petri Nets
Model
Network Model
Parallelism
Circuit theory
Discrete event simulation
Petri nets
Synchronization

ASJC Scopus subject areas

  • Automotive Engineering
  • Aerospace Engineering
  • Computer Networks and Communications
  • Electrical and Electronic Engineering

Cite this

Applications of pétri networks to transportation network modeling. / Tzes, Antonios; Kim, Seongho; McShane, William R.

In: IEEE Transactions on Vehicular Technology, Vol. 45, No. 2, 01.12.1996, p. 391-400.

Research output: Contribution to journalArticle

Tzes, Antonios ; Kim, Seongho ; McShane, William R. / Applications of pétri networks to transportation network modeling. In: IEEE Transactions on Vehicular Technology. 1996 ; Vol. 45, No. 2. pp. 391-400.
@article{55ad19f931d441eea32f4455d837c19a,
title = "Applications of p{\'e}tri networks to transportation network modeling",
abstract = "The development of a mathematical modular framework based on Petri network (PN) theory to model a traffic network is the subject of this paper. Traffic intersections are the primitive elements of a transportation network and are characterized as event-driven and asynchronous systems. Petri networks have been utilized to model these discrete event systems; further analysis of their structure can reveal information relevant to the concurrency, parallelism, synchronization, and deadlock avoidance issues. The Petri-net model of a generic traffic junction is presented, with its deadlock avoidance property proven. These modular networks are effective in synchronizing their components and can be used for modeling purposes of an asynchronous large-scale transportation system. The derived model is suitable for simulations on a multiprocessor computer since its program execution safety is secured. The software pseudocode for simulating a transportation network model on a multiprocessor system is presented.",
author = "Antonios Tzes and Seongho Kim and McShane, {William R.}",
year = "1996",
month = "12",
day = "1",
doi = "10.1109/25.492914",
language = "English (US)",
volume = "45",
pages = "391--400",
journal = "IEEE Transactions on Vehicular Technology",
issn = "0018-9545",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
number = "2",

}

TY - JOUR

T1 - Applications of pétri networks to transportation network modeling

AU - Tzes, Antonios

AU - Kim, Seongho

AU - McShane, William R.

PY - 1996/12/1

Y1 - 1996/12/1

N2 - The development of a mathematical modular framework based on Petri network (PN) theory to model a traffic network is the subject of this paper. Traffic intersections are the primitive elements of a transportation network and are characterized as event-driven and asynchronous systems. Petri networks have been utilized to model these discrete event systems; further analysis of their structure can reveal information relevant to the concurrency, parallelism, synchronization, and deadlock avoidance issues. The Petri-net model of a generic traffic junction is presented, with its deadlock avoidance property proven. These modular networks are effective in synchronizing their components and can be used for modeling purposes of an asynchronous large-scale transportation system. The derived model is suitable for simulations on a multiprocessor computer since its program execution safety is secured. The software pseudocode for simulating a transportation network model on a multiprocessor system is presented.

AB - The development of a mathematical modular framework based on Petri network (PN) theory to model a traffic network is the subject of this paper. Traffic intersections are the primitive elements of a transportation network and are characterized as event-driven and asynchronous systems. Petri networks have been utilized to model these discrete event systems; further analysis of their structure can reveal information relevant to the concurrency, parallelism, synchronization, and deadlock avoidance issues. The Petri-net model of a generic traffic junction is presented, with its deadlock avoidance property proven. These modular networks are effective in synchronizing their components and can be used for modeling purposes of an asynchronous large-scale transportation system. The derived model is suitable for simulations on a multiprocessor computer since its program execution safety is secured. The software pseudocode for simulating a transportation network model on a multiprocessor system is presented.

UR - http://www.scopus.com/inward/record.url?scp=0030151915&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0030151915&partnerID=8YFLogxK

U2 - 10.1109/25.492914

DO - 10.1109/25.492914

M3 - Article

VL - 45

SP - 391

EP - 400

JO - IEEE Transactions on Vehicular Technology

JF - IEEE Transactions on Vehicular Technology

SN - 0018-9545

IS - 2

ER -