Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: [pi]-PN

Sortuj według:

Ogranicz wyniki do:

Verification of Non-functional Properties of a Composable Architecture with Petrinets

Richling J., Popova-Zeugmann L., Werner M.

Fundamenta Informaticae

2002

Vol. 51, nr 1,2

185-200

In this paper, we introduce our concept of composability and present the MSS architecture as an example for a composable architecture. MSS claims to be composable with respect to timing properties. We discuss, how to model and prove properties in such an architecture with time-extended Petrinets. As a result, the first step of a proof of composability is presented as well as a new kind of Petrinet, which is more suitable for modeling architectures like MSS.