Ograniczanie przestrzeni stanów w rozszerzonych czasowych sieciach Petriego
[ 1 ] Instytut Informatyki, Wydział Informatyki i Telekomunikacji, Politechnika Poznańska | [ P ] pracownik
EN Reduction of the state space in extended time Petri nets
2024
rozdział w monografii naukowej
polski
PL W niniejszym artykule opisana została koncepcja ograniczania przestrzeni stanów w rozszerzonej czasowej sieci Petriego. Sieć taka integruje właściwości innych znanych sieci czasowych, umożliwiając rozdzielne określenie czasów aktywacji i produkcji w tranzycjach oraz czasu działania i życia tokenów. Problem tak zwanej eksplozji przestrzeni stanów w sieciach Petriego jest skomplikowany. Proponowane w niniejszej pracy podejście pokazuje, że badanie osiągalności stanów w sieci czasowej, dla pewnej ich określonej sekwencji, jest możliwe do wykonania bez kompleksowej analizy przestrzeni stanów. Artykuł przedstawia sposób wykonania analizy sekwencji stanów za pomocą układów nierówności, umożliwiających analizę wykonalności sekwencji od danego stanu początkowego.
207 - 217
20