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
7 Citations
32 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 32 references

Petri Nets: Properties, Analysis and Applications

  • T. Murata
  • 1989
Highly Influential
10 Excerpts

Fundamental Properties and Applications of Temporal Petri

  • I. Suzuki
  • 1985
Highly Influential
4 Excerpts

Petri nets: An Introduction, Springer-Verlag, Berlin

  • W. Reisig
  • 1985
Highly Influential
4 Excerpts

A Petri Net Model of a Starvation-Free

  • Z. Wu, T. Murata
  • 1983
Highly Influential
8 Excerpts

Performance of the FSR-Bus

  • J. Harju, P. Raatikainen
  • 1993
Highly Influential
2 Excerpts

Similar Papers

Loading similar papers…