Title: A Petri net-based model for the design and synthesis of control-flow hardware
First published: 1991