Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
Business rules are crucial and most adaptive to their related business process. These business rules define and constrain the workflow logic of the business process. Thus, it is important to verify the business rules to ensure their correctness and consistency properties. Alternatively, the topology modeling of a workflow would be formalized into a Coloured Petri Nets. However, the business rules...
Presently, discrete-event dynamic systems represent a significant group of varied systems e.g. computer networks, manufacturing systems, communication systems, database systems etc. An important class of discrete-event systems are automated storage and retrieval systems (AS/RS). There is a big demand for new modelling and control methods of these systems in automotive industry in Slovakia. These systems...
Verification of an interaction design becomes very important in the system development. Meanwhile, UML, as a standard tool in the system development, is not able to provide a formal verification of the design directly. This paper provides an approach to verify the UML-based interaction by using CPN. The interaction is modelled using UML 2.0 sequence diagram. The verification focuses on identifying...
Intersection traffic network in city is a hybrid dynamic system, which combines discrete factor with continuous behaviors. Characterized by dynamics,concurrence and synchronization, it is hard to simulate accurately. A modeling method based on farraginous CPN(colored petri net) is constructed in this paper. Objects of traffic system are classifying with coloration, and granting-time mechanism is introduced...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.