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.