Keyword: linear logics

• Farwer, B.:
  A multi-region linear logic based calculus for dynamic Petri net structures. 2000.

• Meyer, R.; Thiagarajan, P.S.:
  LTrL based model checking for a restricted class of Signal Transition Graphs. 1999.

• Kanovich, M.I.:
  Petri nets, Horn programs, linear logic and vector games. 1995.

Back to the Petri Nets Bibliography