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
Link To Document