Modelowanie przepływu informacji w rozproszonych systemach pomiarowych z wykorzystaniem sieci Petriego

Łukaszewski, R.

Artykuł - szczegóły

Tytuł artykułu

Modelowanie przepływu informacji w rozproszonych systemach pomiarowych z wykorzystaniem sieci Petriego

Autorzy

Łukaszewski R.

Wybrane pełne teksty z tego czasopisma

http://www.par.pl/

Identyfikatory

Warianty tytułu

Information data flow in distributed measuring system modelling using Petri nets

Konferencja

Konferencja Naukowa "Systemy Pomiarowe w Badaniach Naukowych i w Przemyśle SP'06" (6 ; 21-24.06.2006 r. ; Łagów, Polska)

Języki publikacji

Abstrakty

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.

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.

Słowa kluczowe

systemy pomiarowo-kontrolne model SPK sieci Petriego

measuring systems MS model Petri nets

Wydawca

Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów PIAP

Czasopismo

Pomiary Automatyka Robotyka

Rocznik

2006

Tom

R. 10, nr 7-8

Strony

21--24

Opis fizyczny

Bibliogr. 16 poz., rys.

Twórcy

autor

Łukaszewski R.

Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych, Instytut Radioelektroniki, r.lukaszewski@ire.pw.edu.pl

Bibliografia

1. E. Michta, Modelowanie komunikacyjne sieciowego systemu pomiarowo-sterującego, WPZ, Zielona Góra 2000.
2. A. Markowski, Wyznaczanie opóźnień transmisji danych w sieciowych systemach pomiarowo-sterujących, PAR 7-8/2004, s. 95 – 99.
3. J. Jakubiec, Błędy powodowane opóźnieniami w systemie pomiarowo-sterującym, PAR 7–8/2004, s. 71 – 74.
4. H. Al-Raimi, J. Jakubiec, R. Żurkowski, Błędy wyniku pomiaru w systemie czasu rzeczywistego spowodowane opóźnieniami transmisji, Mat. Szkoły-konferencji MWK 2001, Rynia k. Warszawy, 21 – 24 maja 2001, Tom 2, s. 275-280.
5. A.M.K. Cheng, Real-Time Systems, Scheduling, Analysis, and Verification, John Wiley & Sons, 2002.
6. J. Carlson, Languages and Methods for Specifying Real-Time Systems, MRTC (Malardalen Real-Time Research Center), Technical Report, August 2002.
7. K. Sacha, Projektowanie oprogramowania systemów sterujących, OWP W, Warszawa 1996.
8. T. Szmuc, Modele i metody inżynierii oprogramowania systemów czasu rzeczywistego, UWND AGH, Kraków 2001.
9. H. Gomaa, Designing Concurrent, Distributed, and RT Applications with UML, Addison-Wesley 2000.
10. http://vl.fmnet.info/, Virtual Library formal methods pages, November 2004
11. L. Chen, Timed Processes: Models, Axioms and Decidability, Ph. D. Dissertation, University of Edinburgh 1992.
12. T. Murata, Petri Nets: Properties, Analysis and Applications, Proceedings of the IEEE, Vol. 77, No. 4, April 1989, pp. 541 – 580.
13. E. Vicario, Static Analysis and Dynamic Steering of Time-Dependent Systems, IEEE Transactions on Software Engineering, Vol. 27, No. 8, August 2001, pp. 728 – 748.
14. A. Cerone, A. Maggiolo-Shettini, Time-Based Expressivity of Time Petri Nets for System Specification, Theoretical Computer Science, Vol. 216, 1999, pp. 1 – 53.
15. K. Jensen, Coloured Petri Nets, Basic Concepts, Analysis Methods and Practical Use, Vol. 1-3, Springer, 1996.
16. http://www.daimi.au.dk/CPNTools/, CPN Tools home page, May 2005.

Typ dokumentu

Bibliografia

Identyfikator YADDA

bwmeta1.element.baztech-article-BSW1-0024-0027