Temat: control diagrams - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Problem hierarchii w transformacji diagramów aktywności UML 2.x do sieci Petriego sterowania
Autorzy:: Grobelny, M.
Grobelna, I.
Data publikacji:: 2011
Słowa kluczowe:: diagramy aktywności UML
sieci Petriego sterowania
modelowanie behawioralne
metody formalnej weryfikacji
UML activity diagrams
control Petri nets
behavioral modelling
formal verification methods; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Problem hierarchii w transformacji diagramów aktywności UML 2.x do sieci Petriego sterowania
Hierarchy problem in transformation of UML 2.x Activity Diagrams into Control Interpreted Petri Nets
Autorzy:: Grobelny, M.
Grobelna, I.
Data publikacji:: 2011
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: diagramy aktywności UML
sieci Petriego sterowania
modelowanie behawioralne
metody formalnej weryfikacji
UML activity diagrams
control Petri nets
behavioral modelling
formal verification methods; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Informacja