Title :
Functional and performance analysis of time Petri nets
Author :
Majmudar, Keyur ; Jafari, Mohsen A.
Author_Institution :
Dept. of Ind. Eng., Rutgers Univ., Piscataway, NJ, USA
Abstract :
In time Petri nets (TPNs) firing a transition takes no time but the firing instant lies in a time domain. The firing time domain of a transition enabled in a marking depends on that marking transition and on the way that marking is reached. This type of dependency complicates the representation of the reachability and the analysis of TPNs. The authors present a methodology to transform the reachability set of a TPN into a set which could be used for both functional and performance analysis
Keywords :
Petri nets; set theory; time-domain analysis; firing time domain; functional analysis; performance analysis; reachability; time Petri nets; transition; Context; Control systems; Fires; Industrial engineering; Manufacturing systems; Monitoring; Performance analysis; Petri nets; Protocols; Signal processing;
Conference_Titel :
Systems, Man and Cybernetics, 1992., IEEE International Conference on
Conference_Location :
Chicago, IL
Print_ISBN :
0-7803-0720-8
DOI :
10.1109/ICSMC.1992.271665
