Keyword: communication system

• Irmscher, Klaus:
  Modell- und Experimentbeschreibung zur Analyse stochastischer Prozesse in Kommunikationssystemen. 1991.

• Buchs, Didier; Guelfi, Nicolas:
  System Specification Using CO-OPN. 1991.

• Berthomieu, B.; Diaz, M.:
  Modeling and Verification of Time Dependent Systems Using Time Petri Nets. 1991.

• Eggert, H.; Korczynski, W.:
  A Formal Protocol Specification with Predicate/Transition Nets. 1990.

• Martinez, R.; Sanders, W.H.; Alsafadi, Y.; Nam, J.; Ozeki, T.; Komatsu, K.:
  Performance Evaluation of a Picture Archiving and Communication System Using Stochastic Activity Networks. 1990.

• Munemori, J.; Mizuno, T.; Takeda, S.:
  An Extension of SDL for the Executable Specification of Communication Systems Based Upon Petri Nets. 1988.

Back to the Petri Nets Bibliography