@第{zbMATH00985414条，作者={Chiola，G.和Franceschinis，G.以及Gaeta，R.和Ribaudo，M.}，Title={{GreatSPN}1.7:定时和随机{Petri网}的图形编辑器和分析器，FJournal={绩效评估}，Journal＝｛Perform.Eval.｝，ISSN={0166-5316}，体积={24}，数字={1-2}，页码={47--68}，年份={1995}，语言={英语}，DOI={10.1016/0166-5316（95）00008-L}，关键词={68Q85,68U20}，zbMATH={985414}，Zbl={0875.68663}}