PL
 |
EN
Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl
Ograniczanie wyników
Czasopisma help
  1. 1 Metody Informatyki Stosowanej
Lata help
  1. 1 2011
Autorzy help
  1. 1 Lasota A.
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 1

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  redukcja sekwencyjna
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Skala redukcji sieci a weryfikacja procesu produkcyjnego
100%
Lasota A.
Metody Informatyki Stosowanej
|
2011
|
tom nr 2
65-79
EN
Discrete production processes can be represented by UML activity diagrams and then modeled by Petri nets for their formal verification. Behavioral properties of a production process can be verified with the help of reduction of modelling Petri net. But sometimes when reduction is too deep, we cannot see why a production process does not have needed properties (for example, why it is not cyclic or not safe). Optimal scale of reduction of modelling Petri nets is the topic of this paper.
first rewind previous Strona / 1 next fast forward last
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ć.