Petri nets, state machines, and deadlocks (abstract and references only)
Proceedings of the 19th annual conference on Computer Science - CSC '91 (1991) - Comments
doi: 10.1145/327164.328783 

Kunwarjit S. Bagga, Frank W. Owens