Great User s Manual version 2 0 2 Performance Evaluation group Dipartimento di Informatica Universita di Torino Italy Preface This manual comes out from the collection and the integration of the documentation produced by several people of the Performance Evaluation group and of the Petri net community regarding different aspects of the GreatSPN tool In particular among the people who contributed to the realization of this manual I would like to thank i
Great User s Manual version 2 0 2 Performance Evaluation group Dipartimento di Informatica Universita di Torino Italy Contents 1 Informal introduction to the formalisms 1 1 TUstory OF Great SPN oa ad de ee ae ee E a AR le A L3 Stochastic Peti Nels oa sots naraka kadaa s ca a da a 10 1 4 Generalized Stochastic Petri Nets sre areae sea uree e e a A 11 LEI 2 GSE example er aol Shale Br et ae aa 12 1 5 Stochastic Well Formed Nets ee 14 USA