PL
 |
EN
Ograniczanie wyników
Czasopisma help
  1. 1 Metody Informatyki Stosowanej
Autorzy help
  1. 1 Lasota A.
Lata help
  1. 1 2011
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników
Powiadomienia systemowe
  • Sesja wygasła!

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:  sequential reduction
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
Lasota A.
Metody Informatyki Stosowanej
|
2011
|
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ć.