For the most recent entries see the Petri Nets Newsletter.

Invariants of functional subnets.

Zaitsev, D.A.

In: Proceedings of Odessa National Telecommunication Academy, no. 4,, pages 57-63. 2003. In Russian.

Abstract: Method of Petri nets invariants calculation based on decomposition of a given net into functional subnets is represented. Method consists in calculation of invariants for functional subnets and subsequent recovery of invariants for source net. Exponential acceleration of computations was obtained. The results are explained with example.

Keywords: Petri net; Invariant; Composition; Functional subnet.


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

Back to the Petri Nets Bibliography