Národní úložiště šedé literatury Nalezeno 11 záznamů.  předchozí11 - 11  přejít na záznam: Hledání trvalo 0.00 vteřin. 
Modulární antipermisivní řízení systému s diskrétními událostmi
Komenda, Jan ; van Schuppen, J. H.
Tento článek se týká modulárního supervizního řízení diskrétních událostí systémů, kdy globální systém se skládá z podsystémů, které jsou synchronizovány paralelním součinem. Nedávno bylo ukázáno, že za velmi obecných podmínek jazyky vytvořené permisivním pravidlem řízení (definované koindukcí jako nová operace nazývaná supervizní součin) distribují se synchronizovaným (paralelním)součinem. Tento článek je zaměřen na studium distributivity mezi paralelním součinem a uzavřenými jazyky vytvořenými antipermisivním pravidlem řízení. Je zaručeno, že za podmínek, které jsou odvozeny v tomto článku, antipermisivní řízení může být realizováno lokálně, přičemž lokální antipermisivní řízení vede ke stejnému výsledku jako globální antipermisivní řízení.

Národní úložiště šedé literatury : Nalezeno 11 záznamů.   předchozí11 - 11  přejít na záznam:
Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.