An Induction Theorem for Ring Protocols of Processes Described with Predicate/Transition Nets

@inproceedings{Pyssysalo1996AnIT,
title={An Induction Theorem for Ring Protocols of Processes Described with Predicate/Transition Nets},
author={Tino Pyssysalo},
year={1996}
}

The veriication of concurrent systems, consisting of many identical nite-state machines, has gained a lot of research interest recently. One reason is the growth of data communication networks, where millions of computers use the same nite-state protocol to communicate with each other. In this report we present an induction theorem for ring protocols, consisting of an arbitrary number of identical processes, described using Pr/T-nets. Applying the proposed method temporal properties ofâ€¦Â CONTINUE READING