Keyword: communication networks

• Schaefer, D.H.; Sosa, A.J.:
  Petri net representation of computational and communication operators. 1999.

• Balakrishnan, M.; Trivedi, K.S:
  Stochastic Petri nets for the reliability analysis of communication network applications with alternate-routing. 1996.

• Watanabe, T.; Ohta, T.; Sato, F.; Mizuno, T.:
  Protocol verification tool with extended Petri net and Horn clause. 1995.

Back to the Petri Nets Bibliography