PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2 (1998) | nr 6 | 163--176
Tytuł artykułu

Computer Tools for the Design and Analysis of Concurrent Systems Represented by Petri Nets

Warianty tytułu
Języki publikacji
EN
Abstrakty
Sieci Petriego mają szerokie zastosowanie zarówno w teoretycznej analizie i w praktycznym modelowaniu systemów współbieżnych. Praktyczne zastosowanie sieci Petriego zależy ściśle od istnienia adekwatnych komputerowych programów narzędziowych. Praca ta opisuje systemy narzędziowe PN do konstruowania sieci hierarchicznych, jak również do modyfikacji i analizy. Programy narzędziowe PN pozwalają na pracę z różnymi kategoriami sieci Petriego. Dostępnych jest kilkanaście narzędzi analizy dla każdej z tych kategorii.
EN
Petri nets are now widely used in both theoretical analysis and practical modelling of concurrent systems. The practical use of Petri nets is strongly dependent upon the existence of adequate computer tools. This paper describes the PN-tools system for construction of hierarchical nets, as well as modification and analysis. PN-tools allows us to work with different classes of Petri nets. Several analysis tools are available for each of these classes. The most relevant characteristics of the system modules are described, and two examples of the use of the system in the analysis of a simple communication protocol model and a nondeterministic wait process are given. PN-tools is running on IBM PC microcomputers under MS-DOS operating system. (original abstract)
Rocznik
Numer
Strony
163--176
Opis fizyczny
Twórcy
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.ekon-element-000000011144

Zgłoszenie zostało wysłane

Zgłoszenie zostało wysłane

Musisz być zalogowany aby pisać komentarze.
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ć.