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 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 …
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 …
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.
ieeexplore.ieee.org
Showing the best result for this search. See all results