Wszystkie pola: hierarchical specification

Skocz do pozycji: 1.

Tytuł:: Odwzorowanie hierarchicznych interpretowanych sieci Petriego sterowania z makromiejscami w diagramach aktywności UML
Mapping of hierarchical control interpreted Petri nets with macroplaces in UML activity diagrams
Autorzy:: Grobelny, M.
Data publikacji:: 2012
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: UML
diagramy aktywności
interpretowane sieci Petriego sterowania
specyfikacja behawioralna
specyfikacja hierarchiczna
activity diagrams
control interpreted Petri nets
behavioural specification
hierarchical specification; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Odwzorowanie hierarchicznych interpretowanych sieci Petriego sterowania z makromiejscami w diagramach aktywności UML
Autorzy:: Grobelny, M.
Data publikacji:: 2012
Słowa kluczowe:: UML
diagramy aktywności
interpretowane sieci Petriego sterowania
specyfikacja behawioralna
specyfikacja hierarchiczna
activity diagrams
control interpreted Petri nets
behavioural specification
hierarchical specification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Weryfikacja modelowa hierarchicznej specyfikacji sterownika logicznego
Model checking of hierarchical logic controller specification
Autorzy:: Grobelna, I.
Grobelny, M.
Data publikacji:: 2013
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: hierarchia
interpretowane sieci Petriego
diagramy aktywności UML
weryfikacja modelowa
hierarchy
interpreted Petri nets
UML activity diagrams
model checking; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Weryfikacja modelowa hierarchicznej specyfikacji sterownika logicznego
Autorzy:: Grobelna, I.
Grobelny, M.
Data publikacji:: 2013
Słowa kluczowe:: hierarchia
interpretowane sieci Petriego
diagramy aktywności UML
weryfikacja modelowa
hierarchy
interpreted Petri nets
UML activity diagrams
model checking; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Petri Net Based Specification in the Design of Logic Controllers with Exception Handling Mechanism
Autorzy:: Doligalski, M.
Adamski, M.
Data publikacji:: 2012
Słowa kluczowe:: logic controller
dual specification
hierarchical Petri net
UML
state machine diagram; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Petri Net Based Specification in the Design of Logic Controllers with Exception Handling Mechanism
Autorzy:: Doligalski, M.
Adamski, M.
Data publikacji:: 2012
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: logic controller
dual specification
hierarchical Petri net
UML
state machine diagram; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Obsługa wyjątków oraz stanów wznowienia w ramach dualnej specyfikacji
Autorzy:: Doligalski, M.
Adamski, M.
Data publikacji:: 2010
Słowa kluczowe:: specyfikacja dualna
SM-HPN
maszyna stanów UML
hierarchiczna sieć Petriego
dual specification
state machine
hierarchical Petri net; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: An Outline of a Method of Evaluating the Design Solutions
Autorzy:: Łachwa, A.
Data publikacji:: 2015
Słowa kluczowe:: hierarchical hypergraph
graph-based data structure
building design
design knowledge
CAD
design specification
automated compliance checking; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Nested Petri nets - a formalism for specification and verification of multi-agent distributed systems
Autorzy:: Lomazova, I.A.
Data publikacji:: 2000
Słowa kluczowe:: hierarchical multi-agent systems
nested Petri nets
well-structured transition systems
decidability; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Metody specyfikacji, syntezy i weryfikacji hierarchicznych diagramów stanów
Autorzy:: Łabiak, G.
Karatkevich, A.
Data publikacji:: 2006
Słowa kluczowe:: metody specyfikacji
metody syntezy
metody weryfikacji
hierarchiczne diagramy stanów
methods of specyfication
synthesis
verification
hierarchical state diagrams; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "hierarchical specification" wg kryterium: Wszystkie pola