- Tytuł:
-
Wyznaczanie SM - pokrycia bezpiecznej sieci Petriego metodą komputerowego wnioskowania
Calculation of State Machine cover of safe Petri net by means of computer based reasoning - Autorzy:
-
Tkacz, J.
Adamski, M. - Data publikacji:
- 2011
- Wydawca:
- Stowarzyszenie Inżynierów i Techników Mechaników Polskich
- Tematy:
-
przestrzeń stanów lokalnych i globalnych sieci Petriego
transwersale
podsieci automatowe SM
logika sekwentów Gentzena
Petri net state space
transversal
formal reasoning
State Machine subnets
configurable logic controllers - Źródło:
-
Pomiary Automatyka Kontrola; 2011, R. 57, nr 11, 11; 1397-1400
0032-4140 - Język:
- polski
- Prawa:
- CC BY: Creative Commons Uznanie autorstwa 3.0 Unported
- Dostawca treści:
- Biblioteka Nauki
- Artykuł