Analyzing Non-Determinism in Telecommunication Services Using P-Invariant of Petri-Net Model

Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno. Analyzing Non-Determinism in Telecommunication Services Using P-Invariant of Petri-Net Model. In INFOCOM. pages 1253-1260, 1997.

Abstract

Abstract is missing.