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

Gülgün Alpan, Mohsen Jafari

Research output: Contribution to journalArticle

21 Citations (Scopus)

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.

Original languageEnglish (US)
Pages (from-to)338-346
Number of pages9
JournalIEEE Transactions on Robotics and Automation
Volume13
Issue number3
DOIs
StatePublished - Dec 1 1997

Fingerprint

Petri nets
Dynamic analysis
Control charts

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Electrical and Electronic Engineering

Keywords

  • Discrete event systems
  • Petri nets

Cite this

@article{11da8c88204d450ba7286dd655ed1170,
title = "Dynamic analysis of timed Petri nets: A case of two processes and a shared resource",
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 = "Discrete event systems, Petri nets",
author = "G{\"u}lg{\"u}n Alpan and Mohsen Jafari",
year = "1997",
month = "12",
day = "1",
doi = "10.1109/70.585897",
language = "English (US)",
volume = "13",
pages = "338--346",
journal = "IEEE Transactions on Robotics and Automation",
issn = "1042-296X",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
number = "3",

}

Dynamic analysis of timed Petri nets : A case of two processes and a shared resource. / Alpan, Gülgün; Jafari, Mohsen.

In: IEEE Transactions on Robotics and Automation, Vol. 13, No. 3, 01.12.1997, p. 338-346.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Dynamic analysis of timed Petri nets

T2 - A case of two processes and a shared resource

AU - Alpan, Gülgün

AU - Jafari, Mohsen

PY - 1997/12/1

Y1 - 1997/12/1

N2 - 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.

AB - 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.

KW - Discrete event systems

KW - Petri nets

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

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

U2 - 10.1109/70.585897

DO - 10.1109/70.585897

M3 - Article

AN - SCOPUS:0031162059

VL - 13

SP - 338

EP - 346

JO - IEEE Transactions on Robotics and Automation

JF - IEEE Transactions on Robotics and Automation

SN - 1042-296X

IS - 3

ER -