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

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

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on robotics and automation 1997-06, Vol.13 (3), p.338-346
Main Authors: Alpan, G., Jafari, M.A.
Format: Article
Language:English
Subjects:
Algebra
Computer aided software engineering
Computer Science
Control charts
Control theory
Discrete event systems
Logic
Manufacturing
Mechanical engineering
Nonlinear dynamical systems
Nonlinear equations
Petri nets
Resource management
Systems and Control
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1042-296X
2374-958X
DOI:10.1109/70.585897