Ograniczanie wyników
Czasopisma help
Autorzy help
Lata help
Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 24

Liczba wyników na stronie
first rewind previous Strona / 2 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  Sieć Petriego
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 2 next fast forward last
Process modelling is a very important stage in a Business Process Management cycle enabling process analysis and its redesign. Many sources of information for process modelling purposes exist. It may be an analysis of documentation related directly or indirectly to the process being analysed, observations or participation in the process. Nowadays, for this purpose, it is increasingly proposed to use the event logs from organization's IT systems. Event logs could be analysed with process mining techniques to create process models expressed by various notations (i.e. Petri Nets, BPMN, EPC). Process mining enables also conformance checking and enhancement analysis of the processes. In the paper issues related to process modelling and process mining are briefly discussed. A case study, an example of delivery process modelling with process mining technique is presented. (original abstract)
The main purpose of the paper is presentation of new opportunities for process modelling. In the literature review section, Petri nets as one of the formal modelling notation of processes is highlighted and introduction of relatively young research discipline - process mining - is presented. One of the process mining tasks is process model discovery from event logs gathered in informatics systems in enterprise. In the article practical example of process model discovery with ProM software is given with use of real event log from Volvo IT Belgium. In conclusions further opportunities of process mining techniques in process management are emphasized.(original abstract)
Przedstawiono elementy teorii sieci Petriego w jednej z bardziej znanych prezentacji, m.in. pojęcie procesu oraz pewne typy i rozszerzenia teorii sieci. (abstrakt oryginalny)
Jednym z podstawowych problemów w systemach zarządzania łańcuchem dostaw jest rozwiązanie kompromisu między efektywnością a zmiennością potrzeb. W przypadku braku zmienności potrzeb klientów, cykliczności zamówień, portfela zamówień i czasu dystrybucji zarządzanie łańcuchem dostaw jest rutynowym procesem biznesowym. Niestety, w praktyce zarządzania taka sytuacja rzadko występuje, rozwiązanie problemu zmienności zapotrzebowania jest zatem jednym z głównych aktualnych wyzwań, mających na celu zmniejszenie ryzyka bezpiecznego zapasu bez wpływu na realizację potrzeb klientów. W artykule zbadano zmienność łańcucha dostaw przy założeniu wielu dostawców, producentów, dystrybutorów, hurtowników, sprzedawców i klientów, wykorzystując uogólnioną stochastyczną sieć (GSPN). Model pozwala na zachowanie jednolitego stanu zapasów magazynowych w łańcuchu dostaw; rozpatrzono efekt bullwhip (BWE) i niepewności w podejmowaniu decyzji.(abstrakt oryginalny)
This work presents a modelling approach for nonlinear process plan (NLPP) implementation in discrete event manufacturing system (DEMS). NLPP is used for the building of the modular structure of an Object Observable Petri Net model of DEMS. The general capabilities of DEMS are defined by resources' operation templates and the transition incidence relation. Based on system specification and NLPP executed in the system, the modular model of DEMS is defined. The required steps for constructing a modular model through the integration of resource models are presented. The proposed approach to modular modelling is illustrated by means of a sample DEMS and an example of NLPP. (original abstract)
W niniejszym artykule przedstawiono propozycję uzupełnienia dotychczas spotykanej w literaturze metody oceny niezawodności, opartej o teorię sieci Petriego, o możliwość uwzględniania w badaniach niezawodności układów elektroenergetycznych niezawodności urządzeń sterowniczych oraz zabezpieczających. Analizie poddano przykładowy układ zasilający składający się z czterech urządzeń. Używając programu symulacyjnego stworzono schemat w terminach sieci Petriego oraz zamodelowano pracę tego układu, z uwzględnieniem niezawodności poszczególnych elementów oraz układów automatyki zabezpieczeniowej. Wyznaczono rozkłady czasów poprawnej pracy całego układu zasilającego, z uwzględnieniem awaryjności urządzeń automatyki zabezpieczeniowej oraz pomijając ten aspekt. Wyznaczając wartość oczekiwaną czasu poprawnej pracy dla otrzymanych rozkładów udowodniono, iż ważnym lecz często pomijanym problemem jest awaryjność tych właśnie urządzeń. Metoda oparta o teorię sieci Petriego oraz opracowany w celu analizy niezawodnościowej program daje możliwość uwzględnienia dodatkowych czynników wpływających na pracę poszczególnych elementów oraz całego układu.(abstrakt oryginalny)
Głównym celem publikacji jest pokazanie możliwości zastosowania sieci Petriego do analizy procesów produkcyjnych. Procesy w przedsiębiorstwie przebiegają zwykle według pewnego modelu, określającego czynności i zdarzenia składające się na proces, zasoby potrzebne do jego prowadzenia, kolejność wykonywania czynności oraz dodatkowe elementy (np. źródła danych, informacje). Sieci Petriego jako narzędzie modelowania procesów pokazuje jego strukturę, a tworzone modele pozwalają na wykonanie symulacji i analizę procesów. (abstrakt oryginalny)
8
Content available remote Analiza funkcjonowania e-usług publicznych z wykorzystaniem sieci Petriego
75%
W artykule przedstawiono propozycję możliwość zastosowania sieci Petriego jako klasycznej metody opisu procesów organizacji dla analizy usług elektronicznych administracji publicznej. Szczególną uwagę zwrócono na możliwości symulacji funkcjonowania wybranej usługi w konkretnej jednostce. (abstrakt oryginalny)
Omówiono zasady prezentacji procesów z zastosowaniem sieci Petriego. Przedstawiono przykłady zastosowania sieci Petriego do modelowania procesów biznesowych oraz przesłanki wykorzystania tej metody w modelowaniu procesów biznesowych.
Sieci Petriego mają szerokie zastosowanie zarówno w teoretycznej analizie i w praktycznym modelowaniu systemów współbieżnych. Praktyczne zastosowanie sieci Petriego zależy ściśle od istnienia adekwatnych komputerowych programów narzędziowych. Praca ta opisuje systemy narzędziowe PN do konstruowania sieci hierarchicznych, jak również do modyfikacji i analizy. Programy narzędziowe PN pozwalają na pracę z różnymi kategoriami sieci Petriego. Dostępnych jest kilkanaście narzędzi analizy dla każdej z tych kategorii.
Celem artykułu jest porównanie wybranych metod modelowania procesów biznesowych. W pierwszej części artykułu wyjaśniono podstawowe pojęcia związane z badanym problemem, takie jak analiza biznesowa, model procesu biznesowego, oraz scharakteryzowano badane metody. W drugiej części dokonano analizy porównawczej przez pryzmat czterech kryteriów oceny. Artykuł stanowi jeden z etapów prac badawczych, jakie zostały podjęte w celu stworzenia hybrydowej metody modelowania procesów biznesowych, której zadaniem jest ich wspomaganie.(abstrakt oryginalny)
12
Content available remote Wybrane aspekty modelowania procesów biznesowych
63%
Procesowe podejście do zagadnień związanych ze sterowaniem produkcją znajduje coraz szersze grono zwolenników. Niniejszy artykuł przedstawia różne sposoby modelowania zidentyfikowanych procesów biznesowych. Za przykład procesu posłuży proces Dynamicznej Obsługi Zleceń (DOP) zaimplementowany w systemie IFS Applications. Proces ten został opisany schematem blokowym oraz korespondującym z nim schematem bazującym na kolorowanych sieciach Petriego. Wykorzystanie kolorowanych sieci Petriego pozwoliło na opisanie DOP przy użyciu języka XRL (eXtendible Markup Language). Końcowa część artykułu poświęcona jest modelowaniu oraz implementacji badanego procesu przy wykorzystaniu produktów firmy IFS. (abstrakt oryginalny)
A comprehensive case study of manufacturing scheduling solutions development is given. It includes highly generalized scheduling problem as well as a few scheduling modes, methods and problem models. The considered problem combines flexible job shop structure, lot streaming with variable sublots, transport times, setup times, and machine calendars. Tabu search metaheuristic and constraint programming methods have been used for the off-line scheduling. Two dynamic scheduling methods have also been implemented, i.e., dispatching rules for the completely reactive scheduling and a multi-agent system for the predictive-reactive scheduling. In these implementations three distinct models of the problem have been used, based on: graph representation, optimal constraint satisfaction, and Petri net formalism. Each of these solutions has been verified in computational experiments. The results are compared and some findings about advantages, disadvantages, and suggestions on using the solutions are formulated. (original abstract)
14
63%
Sieci Petriego są matematycznym narzędziem, zaproponowanym przez K. A. Petriego w 1964 r., służącym do modelowania i analizy własności systemów, w których naturalnym zjawiskiem jest występowanie akcji współbieżnych3. Intuicyjny graficzny język modelowania sieci, wsparty formalnymi metodami badania ich własności, pozwala na opis struktury systemu, jego dynamiki oraz weryfikację jego specyfikacji. Od czasu zapoczątkowania teorii sieci Petriego powstały także różne rozszerzenia podstawowej wersji sieci. Rozważany model czasowej sieci Petriego z przedziałami dostępności dla łuków oraz wiekiem dla żetonów (ang. contextual Timed Petri Net, c-TdPN) jest rozszerzeniem zwykłego modelu sieci o aspekt czasu ciągłego4 i kontekst wykonywanych akcji(fragment tekstu)
15
Content available remote Analysis of the Relation between Serious Incident and Accident in Air Traffic
63%
International aviation organizations require Poland to define the so-called acceptable level of safety for traffic accidents. To calculate this, one requires statistical data on accidents. These, however, in recent years did not occur, or the size of the sample is insufficient. In the paper a method for predicting the number of accidents on the basis of information on air incidents is mentioned. This method can be efficient and effective if any regular relation between the air traffic accident and serious incident exists. In the paper a way to find this relation is proposed, by analyzing the relevant simulation models of serious incidents and accidents. For this purpose Petri nets were used. (original abstract)
Modelowanie procesów biznesowych jest obecnie jednym z najczęściej używanych terminów w teorii zarządzania. Stanowi on pierwszy i najważniejszy krok w realizacji zarządzania zmianami. Celem pracy jest przedstawienie metod modelowania procesów biznesowych oraz opisanie aktualnej sytuacji w przemyśle drzewnym Słowacji. Ponadto artykuł dotyczy porównania przemysłu przetwórstwa drzewnego z branżą odniesienia.(abstrakt oryginalny)
The article describes the use of different methods of building both micro- and macro-models of urban traffic. Traffic at intersections can be modeled with a fixed time increment allowing microscopic traffic analysis at the intersection. Attention was drawn to the importance of event-based models, exemplified by solutions based on hybrid and colored Petri nets. One of the newer solutions is a model that uses agent-based technology to take account of the impact of all traffic participants in the city. The article also describes the use of neural networks in the construction and implementation of urban traffic models. Generative model of artificial neural networks can complement data not reachable in actual traffic measurement, deep learning can be used to posses data from video and impute of missing data. A combination of macroscopic intersection models constructed from deep multilayer neural networks can be used to construct a traffic light control system in a network of streets and intersections. (original abstract)
18
Content available remote Control Design for Untimed Petri Nets Using Markov Decision Processes
63%
Design of control sequences for discrete event systems (DESs) has been presented modelled by untimed Petri nets (PNs). PNs are well-known mathematical and graphical models that are widely used to describe distributed DESs, including choices, synchronizations and parallelisms. The domains of application include, but are not restricted to, manufacturing systems, computer science and transportation networks. We are motivated by the observation that such systems need to plan their production or services. The paper is more particularly concerned with control issues in uncertain environments when unexpected events occur or when control errors disturb the behaviour of the system. To deal with such uncertainties, a new approach based on discrete time Markov decision processes (MDPs) has been proposed that associates the modelling power of PNs with the planning power of MDPs. Finally, the simulation results illustrate the benefit of our method from the computational point of view. (original abstract)
19
Content available remote Distributed Manufacturing Control: Models and Software Implementations
63%
This paper describes two approaches to distributed control of discrete event manufacturing systems that have been developed at Cracow University of Technology. The first one applies Object Observable Petri Nets for modelling and analysis of manufacturing systems while the second one uses UML for system modelling and intelligent agents for design and implementation of control system. Software for distributed simulation and control have been developed for both concepts. This software have been tested in simulation environment and in laboratory test beds located in the Production Engineering Institute. (original abstract)
Jednym z istotnych problemów jakie ma do rozwiązania projektant procesów biznesowych jest modelowanie komunikowania się agentów. Istnieje spora liczba metod, za pomocą których można wyspecyfikować to zagadnienie. W artykule przedstawione zostały trzy z nich: logika illokucyjna, dokumentacja sieci Petri oraz COLOR-X.
first rewind previous Strona / 2 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ć.