Wyniki wyszukiwania - BazTech

1

Modeling a negotiation process between aircraft using petri nets

Żuchowska Daria, Stelmach Anna

Zeszyty Naukowe. Transport / Politechnika Śląska

|

2023

|

z. 121

267--285

EN

New air traffic control ideas are sought. Many studies point out the delegation of the responsibility for ensuring separation from air traffic controllers to the aircraft crews, but it should be assumed that the transition from centralized to decentralized air traffic control will occur in stages. It is, therefore, necessary to ensure effective communication between conflicting aircraft and to define the negotiation process between aircraft. The concept of the process of negotiation and communication between aircraft in conflict using a monotonic concession protocol is presented. The proposed solution was modeled using a Petri Net, which allowed us to analyze all the dependencies present in the system. The analysis allowed us to evaluate the method in the context of safety. The conducted research showed that, under the assumed conditions, the negotiation method allows obtaining the desired effect of negotiations while maintaining an adequate level of safety.

2

Study and analysis of discrete event-driven autonomous system with a case study for a robotics task

Raj Ravi, Kos Andrzej

Przegląd Elektrotechniczny

|

2023

|

R. 99, nr 9

50--56

EN

Highly probabilistic, potential, and dynamic domains are only relatively known to contribute classical techniques for complex system establishment impossible. Currently available technologies and strategies do not adequately address these novel needs. Thus, by enabling autonomous systems to adapt, decision-making and learning abilities, we can empower them with sufficient and appropriate expertise to recognize and address such issues. To address these requirements, discrete event-driven systems (DEDS) have been developed. This system can help the technologists of future autonomous systems by simulating the effect of auxiliary designs on the performance of the autonomous system. For modeling regular feedback of performance that is influenced by traditional techniques and depends on trust, the discrete event-driven method is most suited. This paper describes the DEDS system, the modeling of this system, and as well as the supervisory control system by explaining the supervisor, and partial supervisor. A comprehensive literature survey has been carried out in this article to explain the controllability, diagnosability, and observability potential of the DEDS system for various applications. Some of the major areas of applications such as healthcare, logistics, robotics, and banking sectors, have been discussed. Also, we have explained this system with the help of modeling a discrete event system for a queuing problem associated with robotics tasks as an example by the simulation with MATLAB 2022a. Lastly, the possible future research directions in the DEDS advancement have been provided.

PL

Wysoce probabilistyczne, potencjalne i dynamiczne domeny są znane z tego, że niemożliwe jest wniesienie klasycznych technik do tworzenia złożonych systemów. Obecnie dostępne technologie i strategie nie zaspokajają odpowiednio tych nowych potrzeb. Zatem, umożliwiając autonomicznym systemom adaptację, podejmowanie decyzji i zdolność uczenia się, możemy wyposażyć je w wystarczającą i odpowiednią wiedzę fachową, aby rozpoznawać i rozwiązywać takie problemy. Aby spełnić te wymagania, opracowano dyskretne systemy sterowane zdarzeniami (DEDS). System ten może pomóc technologom przyszłych systemów autonomicznych, symulując wpływ podsystemów pomocniczych na wydajność systemu autonomicznego. Do modelowania regularnych informacji zwrotnych na temat wyników, na które wpływają tradycyjne techniki i które zależą od zaufania, najbardziej odpowiednia jest metoda dyskretnych zdarzeń. W artykule opisano system DEDS, modelowanie tego systemu, a także system kontroli nadzorczej poprzez opisanie nadzorcy i kierownika częściowego. W tym artykule przeprowadzono obszerny przegląd literatury w celu wyjaśnienia sterowalności, diagnozowalności i potencjału obserwowalności systemu DEDS w różnych zastosowaniach. Omówiono niektóre z głównych obszarów zastosowań, takich jak sektor opieki zdrowotnej, logistyki, robotyki i bankowości. Wyjaśniliśmy również ten system za pomocą modelowania systemu zdarzeń dyskretnych dla problemu kolejkowania związanego z zadaniami robotyki na przykładzie symulacji z MATLAB 2022a. Na koniec przedstawiono możliwe przyszłe kierunki badań w zakresie rozwoju DEDS.

3

Capacity assessment of the airport cargo screening system under disruptions

Skorupski Jacek, Uchroński Piotr

Prace Naukowe Politechniki Warszawskiej. Transport

|

2023

|

z. 136

101--122

EN

Cargo shipments are a growing part of the transport carried out by many air carriers. One of the critical elements in this area of activity is shipment security inspection, which is a mandatory part of the transportation process. This article aimed to study the inspection system's capacity under disruption conditions and determine its dependence on possible technical and organizational improvements. For this purpose, simulation modeling was applied using a microscale model of the cargo security inspection process realized in a colored, timed, stochastic Petri net. Bayesian networks representing the actual process were used to validate the model. As a result of the research, experiments showed that for Katowice Airport in Pyrzowice, more advanced technical solutions can increase capacity by up to 50%. On the other hand, introducing modifications to the procedure, involving at least two checks using specialized assistive devices, can reduce it by up to 40%. Relatively small changes in capacity are expected with changes in the training and experience of screening operators. Based on these results, it can be recommended that airport managers consider using technical solutions with the parameters analyzed in the article. In addition, it is necessary to maintain the level of training at least at the current level. At the same time, any changes in control procedures should be made prudently, only when necessary, due to the need to strengthen the effectiveness of controls during periods of increased terrorist threat.

PL

Przesyłki cargo stanowią coraz większą część przewozów realizowanych przez wielu przewoźników lotniczych. Jednym z kluczowych elementów w tym obszarze działalności jest kontrola bezpieczeństwa przesyłek, która jest obowiązkowym elementem procesu przewozowego. Celem artykułu było zbadanie przepustowością systemu kontroli w warunkach zakłóceń, a także określenie jej zależności od możliwych ulepszeń technicznych i organizacyjnych. W tym celu zastosowano modelowanie symulacyjne z wykorzystaniem mikroskalowego modelu procesu kontroli bezpieczeństwa cargo zrealizowanego w postaci kolorowanej, czasowej, stochastycznej sieci Petriego. Do walidacji modelu wykorzystano sieci Bayesowskie reprezentujące rzeczywisty przebieg procesu. W wyniku przeprowadzonych eksperymentów badawczych wykazano dla lotniska Katowice w Pyrzowicach, że użycie bardziej zaawansowanych rozwiązań technicznych może zwiększyć przepustowość nawet o 50%. Z kolei wprowadzenie modyfikacji procedury, polegające na co najmniej dwukrotnej kontroli z wykorzystaniem specjalizowanych urządzeń wspomagających, może doprowadzić do jej zmniejszenia nawet o 40%. Stosunkowo niewielkie zmiany przepustowości są spodziewane w przypadku zmian w zakresie wyszkolenia i doświadczenia operatorów kontroli bezpieczeństwa. Na podstawie tych wyników można rekomendować, aby zarządzający portem lotniczym rozważyli użycie rozwiązań technicznych o parametrach, które były analizowane w artykule. Dodatkowo, konieczne jest utrzymanie poziomu wyszkolenia na co najmniej dotychczasowym poziomie, zaś wszelkie zmiany procedur kontroli należy wprowadzać rozważnie, tylko wówczas kiedy jest to niezbędne z powodu konieczności wzmocnienia skuteczności kontroli w okresach zwiększonego zagrożenia terrorystycznego.

4

Wykorzystanie teorii sieci Petriego w procesie odtwarzania gotowości bojowej statków powietrznych

Sokołowski Wojciech, Ficoń Krzysztof, Zięcina Marcin

Rocznik Bezpieczeństwa Morskiego

|

2022

|

XVI

1--23

PL

W pracy zostały zarysowane uwarunkowania i perspektywy wykorzystania wybranych elementów teorii sieci Petriego do modelowania procesów odtwarzania gotowości bojowej (przedstartowej) bojowych statków powietrznych. We wstępie przedstawiono definicje tytułowych pojęć i terminów determinujących strukturę i funkcjonalności budowanego modelu. Ze względu na skomplikowany i niezbyt popularny aparat matematyczny sieci Petriego szczegółowo omówiono zasady budowy tych sieci oraz stosowaną notację formalną eksponującą takie terminy jak: zbiór miejsc (stanów), zbiór stanów (tranzycie) oraz znaczniki (tokeny). Do modelowania procedur odtwarzania gotowości bojowej statków powietrznych wykorzystano teoretyczny aparat sieci Petriego. Główna teza pracy głosi możliwość wykorzystania aparatu logiczno-matematycznego sieci Petriego do badania złożonych, czasowo-przestrzennych procesów współbieżnych, które mogą być wykonywane równolegle i jednocześnie. Jak wynika z przeprowadzonych analiz nawet stosunkowo prosty 2-stanowy model odtwarzania bojowej statku powietrznego jednoznacznie wykazał praktyczną użyteczność sieci Petriego do analizowania rzeczywistych systemów i obiektów współbieżnych.

5

Design optimization of the Petri net-based production process supported by additive manufacturing technologies

Patalas-Maliszewska Justyna, Wiśniewski Remigiusz, Topczak Marcin, Wojnakowski Marcin

Bulletin of the Polish Academy of Sciences. Technical Sciences

|

2022

|

Vol. 70, nr 2

art. no. e140693

EN

In the era of smart manufacturing and Industry 4.0, the rapid development of modelling in production processes results in the implementation of new techniques, such as additive manufacturing (AM) technologies. However, large investments in the devices in the field of AM technologies require prior analysis to identify the possibilities of improving the production process flow. This paper proposes a new approach to determine and optimize the production process flow with improvements made by the AM technologies through the application of the Petri net theory. The existing production process is specified by a Petri net model and optimized by AM technology. The modified version of the system is verified and validated by the set of analytic methods safeguarding against the formal errors, deadlocks, or unreachable states. The proposed idea is illustrated by an example of a real-life production process.

6

Using Free-Choice Nets for Process Mining and Business Process Management

van der Aalst Will M. P.

Annals of Computer Science and Information Systems

|

2021

|

Vol. 25

9--15

EN

Free-choice nets, a subclass of Petri nets, have been studied for decades. They are interesting because they have many desirable properties normal Petri nets do not have and can be analyzed efficiently. Although the majority of process models used in practice are inherently free-choice, most users (even modeling experts) are not aware of free-choice net theory and associated analysis techniques. This paper discusses free-choice nets in the context of process mining and business process management. For example, state-of-the-art process discovery algorithms like the inductive miner produce process models that are free-choice. Also, hand-made process models using languages like BPMN tend to be free-choice because choice and synchronization are separated in different modeling elements. Therefore, we introduce basic notions and results for this important class of process models. Moreover, we also present new results for free-choice nets particularly relevant for process mining. For example, we elaborate on home clusters and lucency as closely-related and desirable correctness notions. We also discuss the limitations of free-choice nets in process mining and business process management, and suggest research directions to extend free-choice nets with non-local dependencies.

7

Functional safety verification of train control procedure in train-centric CBTC by colored Petri net

Lin Junting, Xu Qian

Archives of Transport

|

2020

|

Vol. 54, iss. 2

43--58

EN

Communication-based Train Control (CBTC) system is a widely-used signaling system. There is an increasing demand for innovating the traditional ground-centric architecture. With the application of train-train communication, object control and other advanced techniques, Train-centric CBTC (TcCBTC) system is expected to be the most promising tendency of train control system. The safe tracking interval would be reduced as well as the life-cycle costs. Formal methods play an essential role in the development of safety-critical systems, which provides an early integration of the verifiable design process. In the paper, the architecture design of TcCBTC is first analyzed. The official system specification of TcCBTC has not issued, so it takes efforts to perform the systematic summarization of the functional requirements. Secondly, we propose an integrated framework that combines the Colored Petri Net (CPN) models with the functional safety verification of the underlying systems. Functional safety depends on the logic accuracy and is a part of overall safety. The framework also specifies what kinds of functions, behaviors or properties need to be verified. The train control procedure of TcCBTC is regarded as the link among new functional modules, thus it is chosen as the modelling content. Thirdly, the scenarios and the color sets are prepared. Models are established with the novel design thought from top to bottom. Simulation and testing are implemented during the model establishment to discover the apparent errors. Lastly, the model checking by state space is performed. All possible states are checked in detail. Standard behavioral properties and other user-defined properties are verified by state space report and ASK-CTL (Computation Tree Logic) queries, respectively. Verification results reveal that the models are reasonable to depict the dynamic behaviors of train control procedure. The functional safety properties are satisfied and prepared for further drafting the system functional specification.

8

Conceptual Optimization of a Generalized Net Model of a Queuing System

Andonov Velin, Poryazov Stoyan, Saranova Emiliya

Annals of Computer Science and Information Systems

|

2020

|

Vol. 21

223--226

EN

The problem of conceptual optimization of Generalized Nets (GNs) models is discussed. An overview of some operators for complexity of GNs and relations with respect to them is presented. Some new operators and relations are defined. A GN model of a queuing system with finite capacity of the buffer and server, and FIFO discipline of service of the requests, is optimized with respect to some of the operators for complexity.

9

The modelling of technological processes at border transfer stations in Ukraine

Aleshinskiy E., Naumov V., Pestremenko-Skripka O.

Technical Transactions

|

2018

|

Vol. 115, iss. 6

55--66

EN

In the process of the transfer of railway wagons between countries, the main role in processing the flow of cargo is assigned to a border transfer station. Additional border operations – such as customs, environmental, veterinary, phytosanitary, and epidemiological control – have led to a significant increase in the number of detained railway wagons. As a result of these increases, delays in the deliveries of both import and export cargoes have also increased. Reducing the duration of the delivery of goods by rail could be achieved through reductions in the times taken to process trains at border transfer stations – risk management systems based on the principle of selective survey operations in international traffic processing provide such an opportunity.

PL

W procesie przemieszczania wagonów kolejowych pomiędzy krajami główna rola w przetwarzaniu przepływu towarów jest przypisana do stacji przejść granicznych. Dodatkowe operacje graniczne – takie jak kontrola celna, środowiskowa, weterynaryjna, fitosanitarna oraz epidemiologiczna – przyczyniają się do znacznego wzrostu liczby zatrzymanych wagonów kolejowych. W wyniku tych zatrzymań wzrastają również opóźnienia w dostawach zarówno towarów importowanych, jak i eksportowych. Skrócenie czasu dostawy towarów koleją można osiągnąć poprzez zmniejszenie czasu potrzebnego na obsługę pociągów na przejściach granicznych – stwarzają taką możliwość systemy zarządzania ryzykiem w międzynarodowym ruchu kolejowym bazujące się na zasadach selektywnych badań.

10

On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets

Li B., Khlif-Bouassida M., Toguéyni A.

International Journal of Applied Mathematics and Computer Science

|

2018

|

Vol. 28, no. 2

269--281

EN

This paper considers the problem of diagnosability analysis of discrete event systems modeled by labeled Petri nets (LPNs). We assume that the LPN can be bounded or unbounded with no deadlock after firing any fault transition. Our approach is novel and presents the on-the-fly diagnosability analysis using verifier nets. For a given LPN model, the verifier net and its reachability graph (for a bounded LPN) or coverability graph (for an unbounded LPN) are built on-the-fly and in parallel for diagnosability analysis. As soon as a diagnosability decision is established, the construction is stopped. This approach achieves a compromise between computation limitations due to efficiency and combinatorial explosion and it is useful to implement an engineering approach to the diagnosability analysis of complex systems.

11

Distributed control systems integration and management with an ontology-based multi-agent system

Choiński D., Senik M.

Bulletin of the Polish Academy of Sciences. Technical Sciences

|

2018

|

Vol. 66, nr 5

613--620

EN

The purpose of this study is to create, analyze and reuse an ontology-based approach during implementation of a multi-agent system (MAS) capable of integrating different elements of a distributed control system (DCS). Ontology is considered as knowledge about a particular domain. It includes static description of the domain’s structure and properties, by means of which it is possible to define the domain’s dynamic states, transitions between those states and conditions of those transitions. Because of that, it is possible to analyze such ontology in terms of modal logic in predicate logic settings.

12

Graphical representations of multithreaded applications

Giebas Damian, Wojszczyk Rafał

Applied Computer Science

|

2018

|

Vol. 14, no 2

20--37

EN

This article contains a brief description of existing graphical methods for presenting multithreaded applications, i.e. Control Flow Graph and Petri nets. These methods will be discussed, and then a way to represent multithreaded applications using the concurrent process system model will be presented. All these methods will be used to present the idea of a multithreaded application that includes the race condition phenomenon. In the summary, all three methods will be compared and subjected to the evaluation, which will depend on whether the given representation will allow to find the mentioned phenomenon.

13

The use of Petri nets in decision support systems based on intelligent multiply source data analysis

Rymarczyk T., Kłosowski G., Cieplak T.

Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska

|

2017

|

T. 7, nr 4

24--27

EN

The paper deals with the design of data analysis systems for business process automation. A general scheme of decision support system was developed in which one of the modules is based on Petri Nets. The way of implementation of Petri Net model in optimization problem regarding serviceoriented decision support system was shown. The Petri Net model of distribution workflow was presented and simulation experiments was completed. As a result the optimal solution as a set of parameters was emerged.

PL

Artykuł dotyczy problematyki projektowania zautomatyzowanych systemów analizy danych biznesowych. Opracowano ogólny model systemu wspomagania decyzji, w którym jeden z modułów funkcjonuje w oparciu o sieci Petriego. Zaprezentowano sposób implementacji sieci Petriego do realizacji zadań optymalizacyjnych dotyczących zorientowanego na usługi systemu wspomagania decyzji. Przeprowadzono szereg eksperymentów symulacyjnych wykorzystując model przepływu pracy utworzony na bazie sieci Petriego. Rezultatem badań było wyłonienie optymalnego zbioru parametrów procesu biznesowego.

14

System do pomiaru prędkości regatowej łodzi żaglowej

Sobaszek M., Markiewicz M.

Zeszyty Naukowe Politechniki Rzeszowskiej. Elektrotechnika

|

2016

|

z. 35 [294], nr 1

39--49

PL

Współczesne żaglowe łodzie regatowe, ze względu na trwający wiele lat postęp techniczny w zakresie budowy jachtów oraz postępującą świadomość załogi w zakresie teorii żeglowania, wyposażone są w szereg mechanizmów służących do regulacji kształtu żagli, ich wzajemnego usytuowania i ustawienia względem kadłuba. Z uwagi na dużą ilość regulacji, które mogą mieć wpływ na prędkość łodzi płynącej określonym kursem do wiatru w pewnych warunkach wiatrowych, dobór optymalnych ustawień żagli staje się rzeczą skomplikowaną i czasochłonną. W związku z czym istnieje realna potrzeba stosowania systemu, który pozwoliłby na pomiar, archiwizację i prezentację w czasie rzeczywistym podstawowych parametrów ruchu łodzi żaglowej. Pozwoliłoby to na szybkie oszacowanie efektywności wprowadzonych zmian w ustawieniu żagli. Obecnie w sprzedaży komercyjnej brakuje rozwiązania za stosunkowo niską cenę, które mogłoby być wykorzystane do oceny parametrów nautycznych małych jachtów żaglowych. Celem artykułu jest zaprezentowanie działania systemu, który w przyszłości ma szansę spełnić te wymagania. Stworzone oprogramowanie umożliwia pomiar prędkości łodzi z użyciem odbiornika GSP oraz pomiar kierunku i prędkości wiatru z wykorzystaniem anemometru kierunkowego. Zebrane dane w module akwizycji, opartym o mikrokontroler, przesyłane są poprzez moduł Bluetooth do tabletu z systemem Android, gdzie na podstawie zebranych danych wykreślane są biegunowe wykresy prędkości łodzi żaglowej w funkcji kierunku i prędkości wiatru. Dzięki czemu możliwe staje się znalezienie optymalnego kąta żeglugi oraz efektywnej prędkości jachtu w trakcie żeglowania na wiatr. Ponadto z wykorzystaniem rozmytej interpretowanej sieci Petriego możliwe jest sprawdzanie czy jacht płynie zgodnie z wyznaczonymi parametrami w aktualnie panujących warunkach. Prezentowane rozwiązanie znacząco zmniejsza nakład pracy konieczny do znalezienia optymalnego ustawienia jachtu.

EN

Contemporary racing sailboats because of many years of technical progress in the construction of yachts and advancing knowledge of the crew in the theory of sailing, are equipped with a set of mechanisms to control the shape of sails, their mutual positioning and their positioning relative with the hull. Thanks to the large number of regulations that may have an effect on boat speed sailing upwind under certain wind conditions, selection of the optimal settings of sails becomes complicated and time-consuming. Thus, there exists a real need to use system that allow the measurement, archiving and presentations in real time the basic parameters of a moving sailboat. This would allow find a quick estimation of effectiveness of changes made to the sails settings. Currently commercially is lack of a relatively cheap solutions, which could be used to evaluate the nautical parameters of small yachts. The aim of the article is to present the system, which in future could meet these requirements. This system measures the speed of the sailboat using a GPS receiver, as well as wind speed and direction using a directional anemometer. The data collected through acquisition module based on microcontroller is sent via Bluetooth to the Android tablet that on the basis of receiving data allows to draw polar graphs of sailboat speed as a function of wind speed and direction. Hence, it becomes possible to find the optimal angle and the effective speed of the sailboat during sailing upwind. Moreover, software allows to check if yacht sails accordance to designated parameters thanks to the use of Petri nets. This solution significantly reduces the effort required to find the optimal sailboat settings.

15

Konstrukcja modeli barwnych sieci Petriego w celu intensyfikacji produkcji chemicznej

Trebuna P., Straka M., Rosova A., Malindzakova M., Makysova H.

Przemysł Chemiczny

|

2016

|

T. 95, nr 7

1300--1303

PL

Barwne sieci Petriego zastosowano do zilustrowania warunków przebiegu procesu, w którym wytwarzano puszki i nakrywki polipropylenowe z powierzchniowymi nadrukami. Sieci te umożliwiły stworzenie szczegółowych modeli tego dość złożonego procesu przemysłowego. Analiza modeli pozwoliła na zrozumienie roli poszczególnych operacji i procesów jednostkowych oraz na określenie krytycznych węzłów na schemacie technologicznym, które normalnie pozostałyby niezauważone. W efekcie wykryto rezerwy produkcyjne i osiągnięto pewne oszczędności, poprawiając tym samym konkurencyjność przedsiębiorstwa.

EN

Colored Petri nets were used for modeling a process for com. prodn. of polypropylene cups and lids and colorprinting their surface. Use of the nets resulted in a better understanding of the individual operations and in an identification of weak points of the technol. process.

16

Synthesis of controller for railway – level crossing devices using Petri nets and state machine

Mielnik R.

Czasopismo Techniczne. Elektrotechnika

|

2016

|

Y. 113, iss. 1-E

101--112

EN

The design of modern digital measurement-control systems applied in such fields as nuclear and power, chemical, air and rail transport as well as military requires a special approach to the philosophy of design, manufacture and the use of such systems. Therefore, attention should be focused on safeguarding the required level of reliability and safety of working conditions of such systems. On an example of a controller for an automatic railway crossing devices is presented synthesis of this controller. In this fact were used Petri nets – to modeling this controller and state machine – to make programming application.

PL

Projektowanie cyfrowych systemów pomiarowo-sterujących stosowanych w takich obszarach jak: energetyka jądrowa, przemysł chemiczny, transport powietrzny i kolejowy oraz zastosowania militarne wymaga specjalnego podejścia do filozofii projektowania, produkcji i eksploatacji tego typu. Systemy te wymagają zapewnienia odpowiedniego poziomu niezawodności i bezpieczeństwa. Na przykładzie sterownika samoczynnej sygnalizacji przejazdowej przedstawiono jego syntezę z wykorzystaniem sieci Petriego – do modelowania funkcji kontrolera, oraz maszyny stanów – do wykonania oprogramowania.

17

Dual synthesis of Petri net based application specific logic controllers with increased safety

Tkacz J., Bukowiec A., Adamski M.

Bulletin of the Polish Academy of Sciences. Technical Sciences

|

2016

|

Vol. 64, nr 3

467--478

EN

In the paper, design flow of the application specific logic controllers with increased safety by means of Petri nets is proposed. The controller architecture is based on duplicated control unit and comparison results from both units. One specification of control algorithm is used by means of Petri net for both units. The hardware duplication is obtained during dual synthesis process. This process uses two different logic synthesis methods to obtain two different hardware configurations for both control units. Additionally, the dual verification is applied to increase reliability of the control algorithm. Such design flow simplifies the process of realization of control systems with increased safety.

18

The alpha algorithm in modeling of the ship’s route

Dramski M.

Archives of Transport System Telematics

|

2016

|

Vol. 9, iss. 2

8--11

EN

In this paper the use of alpha algorithm in modeling of the ship’s route is described. Based on event log obtained from real data, a Petri net was created. This model let us to review the whole process of the ship’s route and take some interesting observations.

19

Using the Petri nets for forming the technological lines of the passenger trains processing in Ukraine

Aleshinskiy E., Naumov V., Prymachenko G.

Archives of Transport

|

2016

|

Vol. 38, iss. 2

7--15

EN

Despite the large number of publications, which authors use the mathematical apparatus of Petri nets for the transportation systems studies, there are still no such researches of technological processing lines for passenger trains on the territory of passenger complexes that aim to improve trains processing technology. In this article, we present simulation models of technological processing lines for passenger trains of different categories developed with the use of Petri nets. The structure of proposed simulation models is based on real time parallel-operating objects. Such an approach allows maximizing similarity of developed models and the simulated objects; in this way we achieve the increased adequacy of the obtained models. The article presents an interface of developed models and examples of their functioning under conditions of different input parameters, as well as the results of their use in order to reduce the passenger trains processing time. The proposed models are generic and could be applied for simulation of passenger trains processing at any station of Ukraine.

20

Bezczujnikowa struktura sterowania silnikiem indukcyjnym z adaptacyjnym regulatorem rozmytym z dodatkową warstwą Petriego

Dybkowski M., Derugo P.

Prace Naukowe Instytutu Maszyn, Napędów i Pomiarów Elektrycznych Politechniki Wrocławskiej. Studia i Materiały

|

2015

|

Vol. 71, nr 35

65--73

PL

W artykule przedstawiono możliwości wykorzystania adaptacyjnych regulatorów neuronowo rozmytych z dodatkowymi warstwami Petriego w układach napędowych z silnikami indukcyjnymi. Badania wykonano w strukturach sterowania wektorowego DFOC. Do estymacji prędkości kątowej, w strukturze bezczujnikowej, wykorzystano estymator MRASCC. Sprawdzono działanie układów w różnych warunkach pracy. Wykonano badania eksperymentalne na stanowisku z kartą Micro Lab Box 1202 firmy dSpace.

EN

In the paper the adaptive control structure with induction motor drive system with MRAS type flux and speed estimator is tested and developed. System with the Petri layers was implemented and checked during different drive operations. Proposed algorithm was applied in the Direct Field Oriented Control Structure and Direct Torque Control of Induction Motor and tested in laboratory set-up with DS1202 dSpace Micro Lab Box card. Control structure was tested and checked during different drive operation.