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


    Access

    Download


    Export, share and cite



    Title :

    Design of River System Deadlock Avoidance Supervisor by Using Petri Net


    Contributors:
    Danko Kezić (author) / Anita Gudelj (author)


    Publication date :

    2010




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    Unknown




    TRAFFIC CONTROL SYSTEM HAVING DEADLOCK AVOIDANCE FUNCTIONALITY

    POVEY DEAN G / SIEMER MICHAEL | European Patent Office | 2017

    Free access

    TRAFFIC CONTROL SYSTEM HAVING DEADLOCK AVOIDANCE FUNCTIONALITY

    POVEY DEAN G / SIEMER MICHAEL | European Patent Office | 2022

    Free access

    Traffic control system having deadlock avoidance functionality

    POVEY DEAN G / SIEMER MICHAEL | European Patent Office | 2018

    Free access

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

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

    Free access

    Autonomous navigation with deadlock detection and avoidance

    Sanchez, Guido Marcelo / Giovanini, Leonardo Luis | BASE

    Free access