@inproceedings{74d2c9c9c73c49fcacf00cbd86cbdb6b,
title = "Functional and performance analysis of Time Petri nets",
abstract = "Unlike the Timed Petri nets where there are firing durations associated with each transition, in Time Petri nets 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 and on the way that marking Is reached. This type of dependency complicates the representation of the reachability set and the analysis of Time Petri nets. In this article we present a transformation of the reachability set. The transformed reachability set could be used for both functional and performance analysis.",
author = "Keyur Majmudar and Jafari, {Mohsen A.}",
note = "Publisher Copyright: {\textcopyright} 1992 IEEE.; IEEE International Conference on Systems, Man, and Cybernetics, SMC 1992 ; Conference date: 18-10-1992 Through 21-10-1992",
year = "1992",
doi = "10.1109/ICSMC.1992.271665",
language = "English (US)",
series = "Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "980--985",
booktitle = "1992 IEEE International Conference on Systems, Man, and Cybernetics",
address = "United States",
}