Complexity Studies for Safe and Fan-Bounded Elementary Hornets

that “the reachability problem requires exponential space” for safe, elementary Hornets – similarily to well known result of for bounded p/t nets [11].. In [12] we have shown that

It will turn out, that the reachability problem for this class requires exponential space, which is a major increase when compared to safe, elementary object nets, which

Comparison between experimental results and numerical results from genetic algorithm for both objective functions: (a) solution 1, oxygen consumption; (b) solution 1, carbon

Unit´e de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unit´e de recherche INRIA Rh ˆone-Alpes, 46 avenue F´elix Viallet, 38031 GRENOBLE Cedex

Since all products exist in Nets , we simplify the construction (and proofs) by attempting to build equalizers, which is the heart of the contribution. We finally gather all pieces

Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

[r]

In job methods of preliminary processing of images for receiving of set characteristic properties of objects and present methods of the identification are stated, allowing