HSU-CHUN YEN2020-06-162020-06-162006https://scholars.lib.ntu.edu.tw/handle/123456789/502415Introduction to Petri Net Theory.book parthttps://doi.org/10.1007/978-3-540-33461-3_14