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

Gülgün Alpan, Mohsen A. Jafari

Research output: Contribution to journalArticle

22 Scopus citations

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

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Electrical and Electronic Engineering

Keywords

  • Discrete event systems
  • Petri nets

Fingerprint Dive into the research topics of 'Dynamic analysis of timed Petri nets: A case of two processes and a shared resource'. Together they form a unique fingerprint.

  • Cite this