具有不变量的时间弧Petri网的覆盖性和有界性的不确定性

@InProceedings｛jacobsen_et_al:OASIcs:2009:DROPS.MEMICS.2009.2346，author={雅各布森、拉塞和雅各布生、莫顿和米勒、米凯尔·H·}，title={{带不变量的时间弧Petri网的覆盖性和有界性的不确定性}}，booktitle={计算机科学数学与工程方法年度博士研讨会（MEMICS’09）}，页数={106--113}，series={信息学开放存取系列（OASIcs）}，国际标准图书编号={978-3-939897-15-6}，ISSN={2190-6807}，年份={2009}，体积={13}，editor=｛Hlinen \'｛y｝，Petr和Maty \'｛a｝\v｛s｝，v\'{a} clav公司和Vojnar，Tom'{a}\v{s}}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops-dev.dagstuhl.de/entities/document/10.4230/drops.MEMICS.2009.2346},URN＝{URN:nbn:de:00030-drops-23461}，doi={10.4230/DROPS.MEMICS.2009.2346}，annote={关键词：时弧Petri网，不确定性，覆盖性，有界性}}