- Tytuł:
- Inhibitor and enabling arcs in logic controller design
- Autorzy:
-
Grobelna, I.
Grobelny, M. - Data publikacji:
- 2012
- Słowa kluczowe:
-
specyfikacja sterownika logicznego
formalna weryfikacja
łuki zakazujące i zezwalające sieci Petriego
diagramy aktywności języka UML
logic controller specification
formal verification
Petri nets inhibitor and enabling arcs
UML activity diagrams - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł