System analysis and protocol verification by an interactive Petri net package. - Qiu, Xiaoling. (University of Ottawa (Canada), 1984)
Keywords: Library Science.