For the most recent entries see the Petri Nets Newsletter.

Relating Petri Nets to Formulae of Linear Logic.

Brown, Carolyn

LFCS Series, Report ECS-LFCS-89-87. University of Edinburgh, UK, Laboratory for Foundations of Computer Science, 1989.

Abstract: The author investigates a connection between linear logic and Petri nets. From the basis that the (otimes) operator applies to two events which may occur concurrently and independently, while linear implication reflects causal dependency between events, the author builds up a correspondence between Petri nets and certain formulas of linear logic.

Keywords: linear logic; causal dependency.

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

Back to the Petri Nets Bibliography