The Complexity of Diagnosability and Opacity Verification for Petri Nets
- 期刊名称Fundamenta Informaticae
- 作者Bérard, Béatrice; Haar, Stefan; Schmitz, Sylvain; Schwoon, Stefan; van der Aalst, Wil; Best, Eike; Penczek, Wojciech
- 卷第161卷
- 期第4期
- 印刷ISSN0169-2968
- 电子ISSN1875-8681
- 文件大小435.06KB
- 发表时间2018-07-06
- DOI10.3233/FI-2018-1706
- 页码317-349
同期刊推荐
AGU AARNA 100MÖLDER, L · Oil Shale · 2015
USAGE OF ESTONIAN OIL SHALEVÄLI, E; VALGMA, I; REINSALU, E · Oil Shale · 2008
INNOVATION IN ENERGY SUPPLYHamburg, A · Oil Shale · 2009
EDITOR’S PAGE.TRASS, O · Oil Shale · 2010
ENERGY SUPPLY PROBLEMS AND PROSPECTSHAMBURG, A; VALDMA, M · Oil Shale · 2011
EDITOR’S PAGE. DEAR READERS!NÕMME, M · Oil Shale · 2011
AGEING OF KUKERSITE THERMOBITUMENSOKOLOVA, J; TIIKMA, L; BITYUKOV, M; JOHANNES, I · Oil Shale · 2011
BENEFICIATION OF ESTONIAN (KUKERSITE) OIL SHALEPALVADRE, R; AHELIK, V · Oil Shale · 2011