维塔利施耐德；沃尔特·福格勒 模态开放Petri网。 （英语） 兹比尔07796209 Donatelli，Susanna（编辑）等人，《Petri网和并发的应用和理论》。第40届国际会议，2019年6月23日至28日，德国亚琛，PETRI NETS 2019，会议记录。查姆：斯普林格。莱克特。注释计算。科学。11522, 25-46 (2019).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.Schneider}和\textit{W.Vogler}，莱克特。注释计算。科学。11522，25-46（2019；Zbl 07796209） 全文： 内政部
费伦茨·巴伊托；芬德里奇、萨沙；杰拉尔德·吕特根；沃尔特·福格勒 非确定性模态接口。 （英语） Zbl 1345.68231号 西奥。计算。科学。 642, 24-53 (2016).MSC公司：68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Bujtor}等人，Theor。计算。科学。642、24-53（2016年；Zbl 1345.68231） 全文： 内政部
沃尔特·福格勒；克里斯蒂安·斯塔尔；理查德·米勒 基于跟踪和故障的响应语义。 （英语） Zbl 1304.68033号 学报信息。 51，第8号，499-552（2014）.MSC公司：68号30 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛W.Vogler｝等人，《情报法》第51卷，第8期，第499-552页（2014年；兹bl 1304.68033） 全文： 内政部 链接