Keyword: linear logic

• Gao, M.; Huang, X.; Wu, Z.:
  Linear logic as a tool for presentation and temporal reasoning of time Petri nets. 2000.

• Gao, M.; Wu, Z.; Huang, X.:
  Fuzzy time Petri net and its application in supervision of DEDS. 2000.

• Pradin-Chezalviel, B.; Valette, R.; Kunzle, L.A.:
  Scenario durations characterization of T-timed Petri nets using linear logic. 1999.

• Ryu, Young U.:
  A logic-based modeling of resource consumption and production. 1998.

• Brown, C.; Gurr, D.:
  A categorical linear framework for Petri nets. 1995.

• Cardoso, J.; Valette, R.; Pradin-Chezalviel, B.:
  Linear Logic for Imprecise Firings in Fuzzy Petri Nets. 1995.

• Kanovich, M.I.:
  Linear logic as a logic of computations. 1994.

• Engberg, U.; Winskel, G.:
  Linear Logic on Petri Nets. 1993.

• Asperti, Andrea; Ferrari, Gian Luigi; Gorrieri, Roberto:
  Implicative Formulae in the `Proofs as Computations' Analogy. 1990.

• Brown, Carolyn; Gurr, Doug:
  A Categorical Linear Framework for Petri Nets. 1990.

• Engberg, Uffe; Winskel, Glynn:
  Petri Nets as Models of Linear Logic. 1990.

• Brown, Carolyn:
  Petri Net as Quantales. 1989.

• Brown, Carolyn:
  Relating Petri Nets to Formulae of Linear Logic. 1989.

• Martí-Oliet, Narciso; Meseguer, José:
  From Petri Nets to Linear Logic. 1989.

Back to the Petri Nets Bibliography