For the most recent entries see the
Petri Nets Newsletter.
Modeling of Initial Handling in TCP Using Contour/Transition Nets.
Rose, M.T.
In:
Yemini, Y.; Strom, R.; Yemini, S.: Protocol Specification, Testing and Verification IV, pages 193-214.
Elsevier Science Publishers B. V. (North-Holland), IFIP,
1985.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography