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.
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ć.