On Deadlockability, Liveness and Reversibility in Subclasses of Weighted Petri Nets
Hujsa, Thomas; Devillers, Raymond; van der Aalst, Wil; Best, Eike; Penczek, Wojciech
- 期刊名称Fundamenta Informaticae
- 作者Hujsa, Thomas; Devillers, Raymond; van der Aalst, Wil; Best, Eike; Penczek, Wojciech
- 卷第161卷
- 期第4期
- 印刷ISSN0169-2968
- 电子ISSN1875-8681
- 文件大小439.31KB
- 发表时间2018-07-06
- DOI10.3233/FI-2018-1708
- 页码383-421