Relating Petri Nets to Formulae of Linear Logic (1989)

by Carolyn Brown