- Добавил: koticvvik
- Дата: 25-12-2022, 16:46
- Комментариев: 0
Название: Petri Nets: Theoretical Models and Analysis Methods for Concurrent Systems
Автор: Guanjun L.
Издательство: Springer Singapore
Год:2022
Формат:PDF
Страниц:279
Размер: 10,6 МБ
Язык: English
This book provides essential information on Petri net theory and Petri net-based model checking methods.