For the most recent entries see the Petri Nets Newsletter.

An Extension to Invariants Analysis Techniques Applied to Petri Net Models of Protocols.

Batten, T.J.

In: Australian Telecommunication Research ATR, No. 21, pages 37-46. 1987.

Abstract: This paper reviews some algebraic analysis techniques which are known for Petri nets, and discusses an extension to invariants analysis for place/transition nets. This extension enables properties of parts of the reachability set of the net to be identified.

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

Back to the Petri Nets Bibliography