A Petri-net-based graphical system for network protocol synthesis.

Ghedamsi, Abderrazak.2009-03-202009-03-2019871987Source: Masters Abstracts International, Volume: 40-07, page: .9780315467729http://hdl.handle.net/10393/5452http://dx.doi.org/10.20381/ruor-10763Library Science.A Petri-net-based graphical system for network protocol synthesis.Thesis