System analysis and protocol verification by an interactive Petri net package.

Qiu, Xiaoling.2009-03-202009-03-2019841984Source: Masters Abstracts International, Volume: 40-07, page: .9780315196513http://hdl.handle.net/10393/5039http://dx.doi.org/10.20381/ruor-14159Library Science.System analysis and protocol verification by an interactive Petri net package.Thesis