Title: High-Level Petri Nets
First published: September 1991