Lee, JonathanJonathanLeePan, Jiann-IJiann-IPanKuo, Jong-YihJong-YihKuoJONATHAN LEE2020-05-042020-05-042001https://scholars.lib.ntu.edu.tw/handle/123456789/488780Verifying scenarios with time Petri-nets.journal article10.1016/S0950-5849(01)00184-7https://doi.org/10.1016/S0950-5849(01)00184-7