TY - BOOK AU - Karatkevich, Andrei TI - Dynamic analysis of Petri net-based discrete systems PY - 2007/// CY - Berlin PB - Springer ER -