Advanced function of the computer-based river traffic management system should automatically predict and prevent possible conflict and deadlock states between vessels by using adequate control policy (supervisor). This paper proposes a formal method for calculating maximally permissive deadlock prevention supervisor. To model the river system, the authors use a class of Petri net suitable for describing multiple re-entrant flowlines with disjoint sets of resources, jobs and control places, and matrix-based formal method to analyze the system. By using matrix algebra, the structural characteristics of the Petri net (circular waits, P-invariants, critical siphons and subsystem, key resource) have been analyzed and the steps for supervisor design proposed. The first and the second level deadlocks can be avoided by maintaining the number of tokens in the critical subsystems and ensuring that the key resource would not be the last available resource in the system. The derived supervisor has been verified by a computer simulation using MATLAB environment.

    KEYWORDS: traffic management system, deadlock avoidance, discrete event system, Petri net


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    Design of River System Deadlock Avoidance Supervisor by Using Petri Net


    Beteiligte:
    Danko Kezić (Autor:in) / Anita Gudelj (Autor:in)


    Erscheinungsdatum :

    2010




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Unbekannt




    TRAFFIC CONTROL SYSTEM HAVING DEADLOCK AVOIDANCE FUNCTIONALITY

    POVEY DEAN G / SIEMER MICHAEL | Europäisches Patentamt | 2017

    Freier Zugriff

    TRAFFIC CONTROL SYSTEM HAVING DEADLOCK AVOIDANCE FUNCTIONALITY

    POVEY DEAN G / SIEMER MICHAEL | Europäisches Patentamt | 2022

    Freier Zugriff

    Traffic control system having deadlock avoidance functionality

    POVEY DEAN G / SIEMER MICHAEL | Europäisches Patentamt | 2018

    Freier Zugriff

    Petri Net Approach of Collision Prevention Supervisor Design in Port Transport System

    Danko Kezić / Igor Vujović / Anita Gudelj | DOAJ | 2007

    Freier Zugriff

    Autonomous navigation with deadlock detection and avoidance

    Sanchez, Guido Marcelo / Giovanini, Leonardo Luis | BASE

    Freier Zugriff