John M. Jeffrey. Using Petri nets to introduce operating system concepts. In Nell B. Dale, editor, Proceedings of the 22nd SIGCSE Technical Symposium on Computer Science Education, 1991, San Antonio, Texas, USA, March 7-8, 1991. pages 324-329, ACM, 1991. [doi]
Abstract is missing.