In: Proc. 2000 American Control Conference, 28-30 June 2000, Chicago, IL, Vol. 5, pages 3177-3181. 2000.
Abstract: The paper presents a translation procedure from time Petri nets (TPNs) to linear logic with the objective of enhancing the presentation and reasoning ability of TPNs. TPNs are described by defining the translations in Petri nets using the connectives in linear logic, and firing rules in TPNs are defined using linear logic. The behavior of a TPN can be constructed and temporal reasoning can be done using the defined rules.
Keywords: linear logic, temporal reasoning, time Petri nets.