Towards the Verification of Scenarios with Time Petri-Nets.

Lee, JonathanJonathanLeeKuo, Jong-YihJong-YihKuoFanjiang, Yong-YiYong-YiFanjiangYang, Stephen J. H.Stephen J. H.YangPan, Jiann-IJiann-IPanJONATHAN LEE2020-05-042020-05-042000https://scholars.lib.ntu.edu.tw/handle/123456789/488785Towards the Verification of Scenarios with Time Petri-Nets.conference paper10.1109/CMPSAC.2000.884773https://doi.org/10.1109/CMPSAC.2000.884773