For the most recent entries see the Petri Nets Newsletter.

Matrix Analysis of the Static Properties of Protocol Correctness.

Avetov, Y.V.; Golovin, Y.A.; Sukonshchikov, A.A.

In: Automatic Control and Computer Sciences, Vol. 22, No. 5, pages 17-21. 1988.

Abstract: The authors identify a subset of static correctness properties of protocols. A class of predicate-time Petri nets is introduced to analyze these properties. A modified Farkas algorithm is proposed for matrix calculation of the systems of invariants of the model. Logical assertions are formulated that are required for analyzing correctness properties.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography