Temat: kolorowane sieci Petriego - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Zastosowanie kolorowanych sieci Petriego w projektowaniu systemów czasu rzeczywistego
Using coloured Petri nets for real-time systems design
Autorzy:: Samolej, S.
Trybus, B.
Powiązania:: https://bibliotekanauki.pl/articles/156259.pdf
Data publikacji:: 2005
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: kolorowane sieci Petriego
systemy czasu rzeczywistego
inżynieria oprogramowania
coloured Petri nets
real-time systems
software engineering
Opis:: W artykule przedstawiono metodę zastosowania kolorowanych sieci Petriego (sieci CPN) do wytwarzania systemów czasu rzeczywistego. Opis systemu prowadzony jest przy użyciu metodyki SDRTS (Structured Design for Real-Time Systems) i sieci CPN. Ostatecznym rezultatem procesu projektowego jest zbiór hierarchicznych czasowych sieci CPN odpowiadajacych diagramom metodyki SDRTS, umożliwiający symulację i formalną analizę wytwarzanego systemu.
A way of application of coloured Petri nets (CPN) in real-time systems development is presented in the paper. The system is described simultaneously using SDRTS (Structured Design for Real-Time Systems) method and CPN language. The final result of the development process is a set of hierarchical timed coloured Petri nets corresponding to SDRTS diagrams that makes it possible to simultane and formally analyse the system designed.
Źródło:: Pomiary Automatyka Kontrola; 2005, R. 51, nr 1, 1; 11-13
0032-4140
Pojawia się w:: Pomiary Automatyka Kontrola
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: Colored decision process Petri nets: Modeling, analysis and stability
Autorzy:: Clempner, J.
Powiązania:: https://bibliotekanauki.pl/articles/908525.pdf
Data publikacji:: 2005
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: proces decyzyjny
kolorowane sieci Petriego
metoda Lapunowa
teoria gier
decision process
colored decision process Petri nets
stability
Lyapunov methods
optimization
game theory
Opis:: In this paper we introduce a new modeling paradigm for developing a decision process representation called the Colored Decision Process Petri Net (CDPPN). It extends the Colored Petri Net (CPN) theoretic approach including Markov decision processes. CPNs are used for process representation taking advantage of the formal semantic and the graphical display. A Markov decision process is utilized as a tool for trajectory planning via a utility function. The main point of the CDPPN is its ability to represent the mark-dynamic and trajectory-dynamic properties of a decision process. Within the mark-dynamic properties framework we show that CDPPN theoretic notions of equilibrium and stability are those of the CPN. In the trajectory-dynamic properties framework, we optimize the utility function used for trajectory planning in the CDPPN by a Lyapunov-like function, obtaining as a result new characterizations for final decision points (optimum point) and stability. Moreover, we show that CDPPN mark-dynamic and Lyapunov trajectory-dynamic properties of equilibrium, stability and final decision points converge under certain restrictions. We propose an algorithm for optimum trajectory planning that makes use of the graphical representation (CPN) and the utility function. Moreover, we consider some results and discuss possible directions for further research.
Źródło:: International Journal of Applied Mathematics and Computer Science; 2005, 15, 3; 405-420
1641-876X
2083-8492
Pojawia się w:: International Journal of Applied Mathematics and Computer Science
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "kolorowane sieci Petriego" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język