@第{zbMATH00985239条，作者={Nielsen，Mogens and Winskel，Glynn}，标题={Petri网和互模拟}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={153}，数字={1-2}，页码={211--244}，年份={1996}，语言={英语}，DOI={10.1016/0304-3975（95）00122-0}，关键词={68Q85,68Q10,68Q55}，zbMATH＝{985239}，Zbl={0872.68129}}