@第{zbMATH07277562条，作者＝{Tarasyuk，Igor Valerievich}，标题={离散时间随机确定性{Petri}盒演算{dtsdPBC}}，FJournal={Sibirskie{\`E}lektronnye Matematicheskie Izvestiya}，日志={Sib.{\`E}lektron。Mat.Izv.}，ISSN={1813-3304}，体积={17}，Pages={1598-1679}，年份={2020年}，语言={英语}，DOI={10.33048/semi.2020.17.112}，关键词={68Q85,68Q55,68Q87}，zbMATH={7277562}，Zbl={1448.68352}}