Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: state explosion

Sortuj według:

Ogranicz wyniki do:

Modeling and analysis for optimal scheduling of a biodiesel batch-plant: strategies for tackling complexity

Amir M. F., Hanisch H. M.

Management and Production Engineering Review

2011

Vol. 2, No. 4

5-20

Motivated by a purpose of closing the gap between theory and practice, this paper demonstrates how a well-known formal method is used to design a suitable control strategy for a large system. The formal method must deal with issues of complexity which usually prevent analysis of the large plant. The proposed strategies are based on modular principles and decomposition techniques and are proven to be able to cope with the complexity of the analysis of the investigated plant.

Improved Decomposition of Signal Transition Graphs

Vogler W., Kangsah B.

Fundamenta Informaticae

2007

Vol. 78, nr 1

161-197

Signal Transition Graphs (STGs) are a version of Petri nets for the specification of asynchronous circuit behaviour. It has been suggested to decompose such a specification as a first step; this leads to a modular implementation, which can support circuit synthesis by possibly avoiding state explosion or allowing the use of library elements. In a previous paper, the original method was extended and shown to be much more generally applicable than known before. But further extensions are necessary, and some are presented in this paper. In particular, to avoid dynamic auto-conflicts, the previous paper insisted on avoiding structural auto-conflicts, which is too restrictive; as a main contribution, we show how to work with the latter type of auto-conflicts. This extension makes it necessary to restructure presentation and correctness proof of the decomposition algorithm.