带有时间戳的着色逻辑Petri网
王嘉丰, 徐贤
Timed Colored Logical Petri Net
WANG Jiafeng, XU Xian
计算机科学与探索 . 2024, (7): 1776 -1791 .  DOI: 10.3778/j.issn.1673-9418.2306074