For the most recent entries see the Petri Nets Newsletter.

Linear logic as a tool for presentation and temporal reasoning of time Petri nets.

Gao, M.; Huang, X.; Wu, Z.

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.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography