Meimei Gao, Xiaoguang Huang, ZhiMing Wu. Linear logic as a tool for presentation and temporal reasoning of time Petri nets. In American Control Conference, ACC 2000, Chicago, Illinois, USA, 28-30 June, 2000. pages 3177-3181, IEEE, 2000. [doi]
Abstract is missing.