Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

Structural analysis of Signal-Event Systems

Szczegóły
Abstrakt

Tytuł:: Structural analysis of Signal-Event Systems
Autorzy:: Foremniak, A.
Starke, P.H.
Data publikacji:: 2000
Słowa kluczowe:: structural deadlock
structural trap
deadlock-trap property
extended free choice nets
extended simple nets
homogeneous nets
place-liveness of a net
Język:: angielski
Dostawca treści:: BazTech
: Artykuł

Przejdź do źródła

Structural analysis explores the relation between local structural properties and the global functionality of nets. Here we consider Signal-Event systems under a generalized firing rule. The free-choice property and the deadlock-trap property are known from Petri net theory. We define them for Signal-Event nets and draw some consequences for liveness properties of Signal-Event systems.

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Structural analysis of Signal-Event Systems