Ograniczanie wyników
Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 1

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  MS model
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
PL
Artykuł dotyczy modelowania systemów pomiarowo-kontrolnych (SPK), uwzględniającego czasowe aspekty przepływu informacji w SPK. Zaproponowano nową metodę opisu modelu SPK z wykorzystaniem sieci Petriego i narzędzia CPN/Tools. Dodatkowo przedstawiono ogólny przegląd metod nieformalnych i formalnych stosowanych w projektowaniu systemów.
EN
The paper presents research on a modelling of design Measuring Systems (MS) with time limitated data flow. A new method of describing MS model based on Petri Nets and CPN/Tools environment is proposed in the article. The article provides an overall description of informal and formal methods, which can be used while designing systems.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.