Title: A petri net definition of a system description language
First published: 1979