• DocumentCode
    1548727
  • Title

    Dynamic analysis of timed Petri nets: a case of two processes and a shared resource

  • Author

    Alpan, Gülgün ; Jafari, Mohsen A.

  • Author_Institution
    Dept. of Ind. Eng., Rutgers Univ., Piscataway, NJ, USA
  • Volume
    13
  • Issue
    3
  • fYear
    1997
  • fDate
    6/1/1997 12:00:00 AM
  • Firstpage
    338
  • Lastpage
    346
  • Abstract
    There are several techniques for the analysis of the dynamics of timed Petri nets. When the net is not decision free, the existing methods come short of an efficient analysis. In this paper, we present a method, we call “relative temporal analysis”, to analyze the dynamics of a system with two processes and a shared resource. It is possible to find the resource utilization sequence, the waiting time period for each process and identify possible conflicts through this technique. Based on this technique we also build control charts which can be used for control purposes such as obtaining “optimal” conflict resolution schemes
  • Keywords
    Petri nets; discrete event systems; control charts; dynamic analysis; optimal conflict resolution schemes; relative temporal analysis; resource utilization sequence; shared resource; timed Petri nets; waiting time period; Algebra; Computer aided software engineering; Control charts; Control theory; Discrete event systems; Logic; Nonlinear dynamical systems; Nonlinear equations; Petri nets; Resource management;
  • fLanguage
    English
  • Journal_Title
    Robotics and Automation, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    1042-296X
  • Type

    jour

  • DOI
    10.1109/70.585897
  • Filename
    585897