Relating Petri nets to formulae of linear logic (1989)

by C Brown