Title :
Closed form analysis with Petri nets
Author :
Akella, Padma ; DiCesare, Frank
Author_Institution :
Dept. of Electr., Comput. & Syst. Eng., Rensselaer Polytech. Inst., Troy, NY, USA
Abstract :
The authors develop a symbolic computation technique to obtain closed form solutions for various performance measures of discrete event systems modeled as extended stochastic Petri nets or arbitrary stochastic Petri nets. The method for obtaining closed form solutions is based on the moment generating function based approach proposed by D.L. Guo et al. (1991). The symbolic math package Maple was used to obtain the closed form expressions and evaluate the performance measures. Some of the results obtained from this method are presented
Keywords :
Petri nets; mathematics computing; software packages; stochastic systems; symbol manipulation; Maple; closed form analysis; discrete event systems; extended stochastic Petri nets; moment generating function; performance measures; symbolic computation; symbolic math package; Closed-form solution; Discrete event systems; Electric variables measurement; Electronic mail; Packaging; Petri nets; Probability; Stochastic processes; Stochastic systems; Systems engineering and theory;
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.271699
