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

Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno

Browse the full INFOCOM paper archive.