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 -