Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "Petri-net" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-36 z 36
    Tytuł:
    A high-level Petri net model of queueing production system
    Autorzy:
    Kuzmin, O.
    Bazylevych, P
    Powiązania:
    https://bibliotekanauki.pl/articles/118257.pdf
    Data publikacji:
    2014
    Wydawca:
    Polskie Towarzystwo Promocji Wiedzy
    Tematy:
    queueing production system
    Petri net
    Opis:
    In the paper a high-level Petri model for widespread queueing networks in production systems with many customers, several queues with independent production buffers and different service nodes is presented. Requests can be either single- or polytypic. Such parameters of system as productivity, queue length and waiting time are evaluated.
    Źródło:
    Applied Computer Science; 2014, 10, 3; 78-85
    1895-3735
    Pojawia się w:
    Applied Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Implementation of Algorithm of Petri Nets Distributed Synthesis into FPGA
    Autorzy:
    Bukowiec, A.
    Tkacz, J.
    Gratkowski, T.
    Gidlewicz, T.
    Powiązania:
    https://bibliotekanauki.pl/articles/226156.pdf
    Data publikacji:
    2013
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    C#
    decomposition
    FGPA
    logic synthesis
    Petri net
    Opis:
    In the paper an implementation of algorithm of Petri net array-based synthesis is presented. The method is based on decomposition of colored interpreted macro Petri net into subnets. The structured encoding of places in subnets is done of using minimal numbers of bits. Microoperations, which are assigned to places, are written into distributed and flexible memories. It leads to realization of a logic circuit in a twolevel concurrent structure, where the combinational circuit of the first level is responsible for firing transitions, and the second level memories are used for generation of microoperations. This algorithm is implemented in C# and delivered as a stand alone library.
    Źródło:
    International Journal of Electronics and Telecommunications; 2013, 59, 4; 317-324
    2300-1933
    Pojawia się w:
    International Journal of Electronics and Telecommunications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Design of dymanic structural models of information management system of moving objects
    Budowa dynamicznych modeli strukturalnych informacyjnych systemów zarządzania poruszającymi się obiektami
    Autorzy:
    Korobchynsky, M.
    Mashkov, O.
    Powiązania:
    https://bibliotekanauki.pl/articles/408840.pdf
    Data publikacji:
    2013
    Wydawca:
    Politechnika Lubelska. Wydawnictwo Politechniki Lubelskiej
    Tematy:
    structural model
    information management systems
    Petri net
    unmanned aerial vehicle (UAV)
    model strukturalny
    systemy zarządzania informacją
    Petri-net
    bezzałogowe statki powietrzne
    Opis:
    In the following work the authors attempt to find the best way to design a dynamic structural model of information management system of moving objects. This structural model allows organizing various management systems of moving objects, considering the spatial and time dependencies between the key components or parameters of the said management system. An example of such system may be a group of UAVs.
    W pracy autorzy próbują znaleźć najlepszy sposób zaprojektowania dynamicznego modelu strukturalnego systemu zarządzania informacji poruszających się obiektów. Ten model strukturalny umożliwia organizowanie różnych systemów zarządzania poruszających się obiektów, biorąc pod uwagę przestrzenne i czasowe zależności pomiędzy kluczowymi komponentami lub parametrów tego systemu zarządzania. Przykładem takiego systemu może być grupa bezzałogowych statków powietrznych.
    Źródło:
    Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska; 2013, 4; 78-80
    2083-0157
    2391-6761
    Pojawia się w:
    Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Synthesis of Petri net based model of a discrete event manufacturing system for nonlinear process plan
    Autorzy:
    Słota, A.
    Zając, J.
    Uthayakumar, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/406874.pdf
    Data publikacji:
    2016
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    manufacturing system
    Petri net
    nonlinear process plan
    modular modeling
    Opis:
    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.
    Źródło:
    Management and Production Engineering Review; 2016, 7, 2; 62-72
    2080-8208
    2082-1344
    Pojawia się w:
    Management and Production Engineering Review
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Navigation of humanoids by a hybridized regression-adaptive particle swarm optimization approach
    Autorzy:
    Kumar, P. B.
    Sahu, C.
    Parhi, D. R.
    Powiązania:
    https://bibliotekanauki.pl/articles/229923.pdf
    Data publikacji:
    2018
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    navigation
    humanoid NAO
    RA
    APSO
    Petri-Net
    V-REP
    Opis:
    In the era of humanoid robotics, navigation and path planning of humanoids in complex environments have always remained as one of the most promising area of research. In this paper, a novel hybridized navigational controller is proposed using the logic of both classical technique and computational intelligence for path planning of humanoids. The proposed navigational controller is a hybridization of regression analysis with adaptive particle swarm optimization. The inputs given to the regression controller are in the forms of obstacle distances, and the output of the regression controller is interim turning angle. The output interim turning angle is again fed to the adaptive particle swarm optimization controller along with other inputs. The output of the adaptive particle swarm optimization controller termed as final turning angle acts as the directing factor for smooth navigation of humanoids in a complex environment. The proposed navigational controller is tested for single as well as multiple humanoids in both simulation and experimental environments. The results obtained from both the environments are compared against each other, and a good agreement between them is observed. Finally, the proposed hybridization technique is also tested against other existing navigational approaches for validation of better efficiency.
    Źródło:
    Archives of Control Sciences; 2018, 28, 3; 349--378
    1230-2384
    Pojawia się w:
    Archives of Control Sciences
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Doskonała sieć Petriego w projektowaniu współbieżnych układów sterujących
    Perfect Petri Net in parallel control circuits
    Autorzy:
    Adamski, M.
    Kołopieńczyk, M.
    Mielcarek, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/152414.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    sieć Petriego
    sieć doskonała
    graf doskonały
    Petri net
    perfect net
    perfect graph
    Opis:
    W artykule wskazano na korzyści płynące z wykorzystania doskonałych bezpiecznych sieci Petriego w projektowaniu współbieżnych układów sterujących. Przedstawiono sposób sprawdzenia, czy sieć Petriego jest siecią doskonałą poprzez analizę jej stanów globalnych i badanie relacji miedzy jej stanami lokalnymi. Potwierdzono, że grafy współbieżności i sekwencyjności między miejscami sieci są grafami doskonałymi. Konsekwencją doskonałości sieci jest możliwość wykorzystania algorytmów o złożoności wielomianowej do jej analizy dynamicznej i statycznej.
    This paper is pointing out benefits from application of perfect and safe Petri Nets to design process of parallel control circuits. There is presented a method for verifying the perfectness of Petri Net achieved by analysis of Petri Net global states and relation between Petri Net local states. There is also proved that the concurrency and sequencing graphs of a given Petri Net are perfect. Static and dynamic analysis can be performed using algorithms with polynomial complexity. The presented dependences can also be used to decompose a given Petri Net into components, i.e. state machines, and analyze and verify the project correctness. Petri net analysis is discussed on an example of a real-life object of the beverages mixing system. This paper is divided into five parts. The first section is a brief introduction to issues of perfect and safe Petri Nets. The second section is the theoretical introduction to the subject matter. In the third section an example of perfect Petri nets is presented. In the fourth section the method of constructing the perfect Petri Nets is presented. The last section contains the sum-mary.
    Źródło:
    Pomiary Automatyka Kontrola; 2011, R. 57, nr 6, 6; 656-660
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Modeling of the phospholipid vesicular nanostructure formation process
    Autorzy:
    Avdieieva, L.
    Chunikhin, O.
    Powiązania:
    https://bibliotekanauki.pl/articles/79929.pdf
    Data publikacji:
    2019
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    phospholipid
    lipid vesicular nanostructure
    mathematical modelling
    Petri net based model
    Źródło:
    BioTechnologia. Journal of Biotechnology Computational Biology and Bionanotechnology; 2019, 100, 4
    0860-7796
    Pojawia się w:
    BioTechnologia. Journal of Biotechnology Computational Biology and Bionanotechnology
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Process Modelling Based on Event Logs
    Autorzy:
    Brzychczy, E.
    Powiązania:
    https://bibliotekanauki.pl/articles/2065023.pdf
    Data publikacji:
    2018
    Wydawca:
    STE GROUP
    Tematy:
    process modelling
    process mining
    event logs
    Petri net
    model discovery
    Opis:
    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.
    Źródło:
    Multidisciplinary Aspects of Production Engineering; 2018, 1, 1; 385--392
    2545-2827
    Pojawia się w:
    Multidisciplinary Aspects of Production Engineering
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Structured Mapping of Petri Net States and Events for FPGA Implementations
    Autorzy:
    Tkacz, J.
    Adamski, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/227222.pdf
    Data publikacji:
    2013
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    configurable logic controllers
    interpreted Petri net state space
    local and global state encoding
    hyperpgraph
    logic design
    Gentzen sequents
    Petri net coloring
    FPGA
    VHDL
    Opis:
    The paper presents a new method of structured encoding of global internal states and events in Reconfigurable Logic Controllers, which are directly mapped into Field Programmable Gate Arrays (FPGA). Modular, concurrently decomposed, colored state machine is chosen as a intermediate model, before the mapping of Petri net into an array structure of dedicated but very flexible and reliable digital system. The initial textual specification in formal Gentzen logic serves both as a design description for a rapid prototyping, as well as formal model, suitable for detailed computer-based reasoning about optimized and synthesized logic controller, implemented in configurable hardware. Only the selected linear subset from general, universal propositional Gentzen Logic is necessary to deduce several properties of the net, such as relations of nonconcurrency among structurally ordered macroplaces. The goal of this paper is to present the design methodology for modeling and synthesis of discrete controllers using related Petri net theory, rule-based theory (mathematical logic), and VHDL.
    Źródło:
    International Journal of Electronics and Telecommunications; 2013, 59, 4; 331-339
    2300-1933
    Pojawia się w:
    International Journal of Electronics and Telecommunications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Wielomianowy algorytm wyznaczania hipergrafu współbieżności w sieciach Petriego swobodnego wyboru
    A polynomial algorithm to compute the concurrency hypergraph in Petri nets
    Autorzy:
    Wiśniewski, R.
    Wiśniewska, M.
    Adamski, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/156447.pdf
    Data publikacji:
    2012
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    sieć Petriego
    hipergraf współbieżności
    dekompozycja
    Petri net
    concurrency hypergraph
    decomposition
    Opis:
    W referacie zaproponowano metodę umożliwiającą określenie strukturalnej relacji współbieżności w sieciach Petriego swobodnego wyboru (Free Choice). Algorytm znajduje miejsca wzajemnie współbieżne na podstawie struktury sieci oraz miejsc oznaczonych markerem startowym. W odróżnieniu od istniejących algorytmów, proponowana metoda znajduje wszystkie miejsca wzajemnie współbieżne, wyznaczając hipergraf współbieżności. Przeprowadzone badania eksperymentalne potwierdzają bardzo wysoką skuteczność proponowanej metody.
    In the paper a new algorithm of concurrency hypergraph computation is presented. The main aim of the proposed method is computation of a concurrency hypergraph in the polynomial time. The algorithm input is specified by the Petri net that belongs to the Free Choice subclass. Based on the net structure, the method outputs the concurrency relations between all places in the net. Particular relations are stored by the concurrency hypergraph instead of the concurrency graph, which is currently practiced. The hypergraph permits to store information about relations between all places in the net. In case of the concurrency graph it is limited to relations between pairs of places. Therefore, application of the concurrency hypergraph seems to be more intuitive and natural. The algorithm bases on the traditional solutions, however particular concurrency relation may contain more than two places which is not possible in currently known methods. The proposed solution is especially valuable in combination with the method presented in [1, 2] and permits to find the subsequent SM-Components in the polynomial time. The algorithm was experimentally verified. The method was compared with the traditional solution, where all maximal cliques in the concurrency graph were computed. The obtained results proved very high effectiveness of the proposed algorithm, which was always better than methods based on the graph theory. We have also noticed that the effectiveness increases drastically with the number of places and transitions in the Petri net.
    Źródło:
    Pomiary Automatyka Kontrola; 2012, R. 58, nr 7, 7; 650-652
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Petri Net Based Specification in the Design of Logic Controllers with Exception Handling Mechanism
    Autorzy:
    Doligalski, M.
    Adamski, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/227254.pdf
    Data publikacji:
    2012
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    logic controller
    dual specification
    hierarchical Petri net
    UML
    state machine diagram
    Opis:
    Hierarchical Petri nets beside UML state machine diagrams, sequentional function charts (SFC) and hierarchical concurrent state machines are common solution for specification of logic controllers. These specification formats provide both concurrency and modeling on multi levels of abstraction (hierarchic approach). But only state machine diagrams supports exceptions handling in direct way. Program model presented in form of state machine diagram may be later transformed into a program in the SFC language or transformed in the Petri Net and implemented in the FPGA structure. Similarity between SFC language and Petri Nets give us lot of tools for analysis such control system. Article presents new approach for exceptions handling in hierarchical Petri nets as formal specification for logic controllers. Proposed method of specification can be used independently or as a part of dual specification (correlated state machine diagram and hierarchical configurable Petri Net).
    Źródło:
    International Journal of Electronics and Telecommunications; 2012, 58, 1; 43-48
    2300-1933
    Pojawia się w:
    International Journal of Electronics and Telecommunications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Detection of deadlocks and traps in Petri nets by means of Thelens prime implicant method
    Autorzy:
    Węgrzyn, A.
    Karatkevich, A.
    Bieganowski, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/907258.pdf
    Data publikacji:
    2004
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    sieć Petriego
    blokada
    pułapka
    żywotność
    Petri net
    deadlock
    trap
    analysis
    liveness
    Opis:
    A new method of detecting deadlocks and traps in Petri nets is presented. Deadlocks and traps in Petri nets can be represented by the roots of special equations in CNF form. Such equations can be solved by using the search tree algorithm proposed by Thelen. In order to decrease the tree size and to accelerate the computations, some heuristics for Thelen's method are presented.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2004, 14, 1; 113-121
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Stability analysis of fuzzy controll systems simplified as a discrete system
    Autorzy:
    Hasegawa, T.
    Furuhashi, T.
    Powiązania:
    https://bibliotekanauki.pl/articles/206083.pdf
    Data publikacji:
    1998
    Wydawca:
    Polska Akademia Nauk. Instytut Badań Systemowych PAN
    Tematy:
    analiza stabilności
    sieć Petriego
    sterowanie rozmyte
    fuzzy control
    Petri net
    stability analysis
    Opis:
    Fuzzy controls can describe control rules using fuzzy if-then rules and it can incorporate experts' control rules. It is, however, difficult to guarantee the stability of fuzzy control system. This paper presents a new method for stability analysis of fuzzy control system using petri nets. The proposed method crisply divides all of the input and output variables of the fuzzy controller and the fuzzy model of the controlled object. This crisp division makes the fired rules of the fuzzy controller and the fuzzy model, which have truth values greater then 0, be single each. These simplified fuzzy rules can be considered as discrete description of the controller and the controlled object. By approximating and the fuzzy control system as this discrete system, the system can be expressed by the petri nets. The proposed method describes the fuzzy control system using matrix based on a bipartite directed multigraph of the petri net, thereby enables to analyse the stability of the fuzzy control system. The analytic results using the petri nets have clear correspondence to the fired fuzzy rules. The dynamical behavior of the system are able to be understood easily. Simulation is done to verify the proposed stability analysis method.
    Źródło:
    Control and Cybernetics; 1998, 27, 4; 565-577
    0324-8569
    Pojawia się w:
    Control and Cybernetics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Process mapping: a tool to foster intra- and inter-organizational coordination in primary care
    Autorzy:
    Santana, Sylvina
    Redondo, Patricia
    Powiązania:
    https://bibliotekanauki.pl/articles/552612.pdf
    Data publikacji:
    2018
    Wydawca:
    Stowarzyszenie Przyjaciół Medycyny Rodzinnej i Lekarzy Rodzinnych
    Tematy:
    process mapping
    coordinated care
    Petri net
    care transition
    health center
    primary care.
    Źródło:
    Family Medicine & Primary Care Review; 2018, 1; 41-46
    1734-3402
    Pojawia się w:
    Family Medicine & Primary Care Review
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Dekompozycja sterowników współbieżnych z zastosowaniem transwersal dokładnych hipergrafu
    Exact transversals in decomposition of Petri Nets into concurrent subnets
    Autorzy:
    Wiśniewska, M.
    Adamski, M.
    Wiśniewski, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/155099.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    hipergraf
    transwersala dokładna
    sieć Petriego
    dekompozycja sieci Petriego na podsieci współbieżne typu automatowego
    hypergraph
    exact transversal
    Petri net
    decomposition of a Petri Net into concurrent subnets automata
    Opis:
    W artykule zaprezentowany został nowatorski sposób dekompozycji cyfrowych sterowników współbieżnych opisanych z wykorzystaniem sieci Petriego na podsieci typu automatowego. W proponowanym rozwiązaniu relacje pomiędzy miejscami sieci Petriego określone za pomocą hipergrafu współbieżności. W odróżnieniu od dotychczas stosowanych rozwiązań, w artykule zaproponowano autorską koncepcję wyznaczania zbiorów niewspółbieżnych, która bazuje na obliczeniu transwersal dokładnych w hipergrafie współbieżności.
    In the paper a new decomposition method of a control system into concurrent automata is presented. The control unit is described as a Petri Net which is further decomposed into concurrent subnets. The main idea of the proposed method is application of exact transversals to the decomposition algorithm. Contrary to the traditional solutions, the authors propose the application of a concurrency hypergraph instead of a standard concurrency graph. The concurrent subnets are found by calculation of exact transversals in the hypergraph. The selection of concurrent automata is also performed with application of exact transversals. Such a solution allows achieving the optimal results (the fewest number of concurrent automata). The proposed concurrency hypergraph has some unique properties. First of all, it is defined to be an exact hypergraph. Therefore, each exact transver-sal in such a hypergraph refers to the concurrent automata. Moreover, all minimal transversals of the hypergraph are also exact transversals. Finally, computation and selection of all exact transversals can be performed in polynomial-time, and this is the most important advantage of the proposed method. The traditional solutions are based on the coloring of a concurrency graph, thus the complexity is NP-complete. All steps that are required in order to perform the decomposition of a controller described by a Petri Net are shown. The proposed method is compared with the traditional solution. Finally, the preliminary results of experiments are presented and discussed.
    Źródło:
    Pomiary Automatyka Kontrola; 2011, R. 57, nr 8, 8; 851-853
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Automatic detection of DoS vulnerabilities of cryptographic protocols
    Autorzy:
    Krawczyk, U.
    Sapiecha, P.
    Powiązania:
    https://bibliotekanauki.pl/articles/106293.pdf
    Data publikacji:
    2012
    Wydawca:
    Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
    Tematy:
    automatic detection
    DoS
    denial of service attacks
    Petri net
    SPIN model checker
    Opis:
    In this article the subject of DoS vulnerabilities of cryptographic key establishment and authentication protocols is discussed. The system for computer-aided DoS protocol resistance analysis, which employs the Petri nets formalism and Spin model-checker, is presented.
    Źródło:
    Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica; 2012, 12, 4; 51-67
    1732-1360
    2083-3628
    Pojawia się w:
    Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Trilingual aligned corpus – current state and new applications
    Autorzy:
    Dimitrova, Ludmila
    Koseska, Violetta
    Roszko, Danuta
    Roszko, Roman
    Powiązania:
    https://bibliotekanauki.pl/articles/967220.pdf
    Data publikacji:
    2014
    Wydawca:
    Polska Akademia Nauk. Instytut Slawistyki PAN
    Tematy:
    aligned trilingual corpus
    digital resources
    event
    Petri net theory
    semantic annotation
    state
    Opis:
    Trilingual aligned corpus – current state and new applicationsThis article describes current state of a trilingual parallel corpus consisted of texts in two Slavic (Bulgarian and Polish) and one Baltic language (Lithuanian). The corpus contains original literary texts (fiction, novels, and short stories) in one of the three languages with translations to the other two, and texts in other languages translated into Bulgarian, Polish, and Lithuanian. A part of the texts are aligned at the sentence level. The authors propose a semantic annotation of verbs appearing in these aligned texts that will facilitate contrastive studies of natural languages. A theoretical background for the proposed semantic annotation is briefly also discussed.
    Źródło:
    Cognitive Studies; 2014, 14
    2392-2397
    Pojawia się w:
    Cognitive Studies
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    An analytical method for well-formed workflow/Petri net verification of classical soundness
    Autorzy:
    Clempner, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/331027.pdf
    Data publikacji:
    2014
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    Lyapunov stability
    Petri net
    decidability
    workflow net
    soundness
    verification
    sieć Petriego
    sieć przepływu pracy
    stabilność Lapunova
    Opis:
    In this paper we consider workflow nets as dynamical systems governed by ordinary difference equations described by a particular class of Petri nets. Workflow nets are a formal model of business processes. Well-formed business processes correspond to sound workflow nets. Even if it seems necessary to require the soundness of workflow nets, there exist business processes with conditional behavior that will not necessarily satisfy the soundness property. In this sense, we propose an analytical method for showing that a workflow net satisfies the classical soundness property using a Petri net. To present our statement, we use Lyapunov stability theory to tackle the classical soundness verification problem for a class of dynamical systems described by Petri nets. This class of Petri nets allows a dynamical model representation that can be expressed in terms of difference equations. As a result, by applying Lyapunov theory, the classical soundness property for workflow nets is solved proving that the Petri net representation is stable. We show that a finite and non-blocking workflow net satisfies the sound property if and only if its corresponding PN is stable, i.e., given the incidence matrix A of the corresponding PN, there exists a Φ strictly positive m vector such that AΦ ≤ 0. The key contribution of the paper is the analytical method itself that satisfies part of the definition of the classical soundness requirements. The method is designed for practical applications, guarantees that anomalies can be detected without domain knowledge, and can be easily implemented into existing commercial systems that do not support the verification of workflows. The validity of the proposed method is successfully demonstrated by application examples.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2014, 24, 4; 931-939
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Zastosowanie teorii hipergrafów w procesie analizy systemów dyskretnych opisanych sieciami Petriego
    Application of hypergraphs to analysis of discrete-systems described with Petri Nets
    Autorzy:
    Adamski, M.
    Wiśniewska, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/155263.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    hipergraf
    transwersala dokładna
    sieć Petriego
    system dyskretny
    hypergraph
    exact transversal
    Petri net
    discrete system
    Opis:
    W artykule zaprezentowane zostały nowe metody wspomagające proces analizy systemów dyskretnych opisanych sieciami Petriego. Relacje w prototypowanym systemie dyskretnym są odwzorowane hiper-grafem. Dzięki temu projektowany, wbudowany, rekonfigurowany sterownik logiczny może zostać poddany efektywniejszemu procesowi analizy z wykorzystaniem nowych algorytmów, związanych z traktowanymi łącznie teoriami hipergrafów i sieci Petriego. Wykorzystano między innymi takie procedury jak dopełnienie, dualizm, transwersale, transwersale dokładne oraz kolorowanie hipergrafu. W artykule w sposób nieformalny wykorzystano autorskie twierdzenia, wspomagające cały proces projektowania sterowników. Szczególną uwagę zwrócono na nowe sposoby analizy systemów dyskretnych, opisanych sieciami Petriego, takie jak częściowa weryfikacja poprawności specyfikacji sterownika na podstawie struktury hipergrafu współbieżności oraz zastosowanie transwersal do-kładnych w procesie wyodrębniania powiązanych ze sobą procesów sekwencyjnych.
    In the paper application of the hypergraph theory to analysis of discrete-systems described by means of Petri Nets is proposed. The relations between local states are represented by hypergraph vertices whose edges correspond to the global states. Therefore, the analysis of a prototype system can be performed by more effective operations supported by the hypergraph theory as well as the Petri net theory (such as dualism, hypergraph complement, transversals, exact transversals, hypergraph colouring). In the paper the authors propose application of the concurrency hypergraph to the analysis of a discrete-system. Such a structure refers to the traditional concurrency graph, however it keeps information about global states of the analysed system. Moreover, the concurrency hypergraph has some unique properties, which can lead to reduction in the computational complexity of some algorithms of the analysis. All minimal transversals in the concurrency hypergraph are also exact transversals. Therefore, such a hypergraph can be applied also to the decomposition process of a discrete-system, which is described by a Petri Net. After the analysis, a controller described by a Petri Net can be decomposed into concurrent sub-nets (concurrent automata). Each exact transversal of the concurrency hypergraph refers to the concurrent automata. The proposed solution allows significantly reducing the computational complexity to a polynomial. The traditional methods, based on the coloring of a concurrency graph are exponential time algorithms, thus they are defined to be NP-complete.
    Źródło:
    Pomiary Automatyka Kontrola; 2011, R. 57, nr 8, 8; 945-947
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Time Petri nets state space reduction using dynamic programming
    Autorzy:
    Popova-Zeugmann, L.
    Powiązania:
    https://bibliotekanauki.pl/articles/970865.pdf
    Data publikacji:
    2006
    Wydawca:
    Polska Akademia Nauk. Instytut Badań Systemowych PAN
    Tematy:
    programowanie dynamiczne
    time Petri net
    dynamic programming
    state space reduction
    integer state
    reachability graph
    Opis:
    In this paper a parametric description for the state space of an arbitrary TPN is given. An enumerative procedure for reducing the state space is introduced. The reduction is defined as a truncated multistage decision problem and solved recursively. A reachability graph is denned in a discrete way by using the reachable integer-states of the TPN.
    Źródło:
    Control and Cybernetics; 2006, 35, 3; 721-748
    0324-8569
    Pojawia się w:
    Control and Cybernetics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Mechanizm obsługi sytuacji wyjątkowych oraz ponownego wznowienia sterowania w hierarchicznych sieciach Petriego
    Exception handling mechanism and control resumption in hierarchical Petri nets
    Autorzy:
    Doligalski, M.
    Adamski, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/152398.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    hierarchiczna sieć Petriego
    wywłaszczenie
    rekonfigurowalny sterownik logiczny
    UML
    hierarchical Petri net
    expropriation
    reconfigurable logic controller
    Opis:
    Opis programów dla rekonfigurowalnych sterowników logicznych jest przeprowadzany z wykorzystaniem dualnej specyfikacji tego samego, abstrakcyjnego automatu współbieżnego opisanego zarówno diagramem maszyny stanów UML jak i skorelowanym z nim diagramem hierarchicznej sieci Petriego [2, 3]. W artykule pokazano sposób obsługi sytuacji wyjątkowych oraz ponownego wznowienia sterowania współbieżnego, hierarchicznego procesu dyskretnego przedstawionego modularną siecią Petriego. W literaturze przedmiotu dotyczącej sieci Petriego, brak jest spójnej i prostej metodologii wprowadzenia tego rodzaju funkcjonalności, znanej z teorii hierarchicznych map stanów wprowadzonej przez Harela i rozwiniętej w pracach Gajskiego [7, 8]. Dotychczasowe sposoby odwzorowania sytuacji wyjątkowych w sieciach Petriego, znane ze standardu UML, prowadzą do zerwania związku między prostotą odwzorowania algorytmu a jego sensownością i intuicyjnością. W pracy zaproponowano sposób obsługi sytuacji wyjątkowych polegający na wprowadzeniu do hierarchicznych sieci Petriego dodatkowych miejsc konfiguracyjnych (aktywnych i spoczynkowych). W przypadku prawidłowego funkcjonowania sterownika miejsca konfiguracyjne aktywnych modułów są oznakowane. W przypadku wystąpienia konieczności wstrzymania pracy układu, aktywne miejsce konfiguracyjne traci marker na rzecz spoczynkowych miejsc konfiguracyjnych. W przypadku wznowienia procesów po awarii, następuje powrót markerów do aktywnych miejsc konfiguracyjnych. W przypadku obsługi sytuacji krytycznej, konfiguracyjne miejsce aktywne przekazuje marker do miejsca konfiguracyjnego wywłaszczającego. Przeprowadzane jest opróżnienie z markerów wszystkich miejsc sterujących w sieci a wznowienie pracy powoduje wprowadzenie jej do stanu początkowego.
    The description of programs for reconfigurable logic controllers is performed with use of dual specification [5, 6], concurrent abstract state machine described both with the UML state machine diagram and correlated hierarchical Petri net [1, 2, 3]. The paper shows the exceptions handling mechanism and control resumption of the hierarchical concurrent binary process described by means of a modular Petri net. In the literature on Petri nets (Fig. 2), there is no coherent and simple methodology for introduction of this kind of functionality, known from the theory of hierarchical map of states introduced by Harel and developed in the work by Gajski [7, 8]. The paper proposes how to handle exceptions based on introducing additional configurational places (active and idle) into hierarchical Petri nets (Fig. 3). In the case of having to stop operation of the system, the active configurational place loses its marker for the idle configurational place. In the case of resumption processes after the failure (Fig. 6), markers will return to the active configurational places. In the case of an emergency (critical exceptions - Fig. 7.), the active configurational place moves a marker to the resumption configurational place. Evacuation of all markers in the control places of the network and resumption of the net work to its original state are carried out. In the paper the possibility and desirability of implementing a new method of exceptions handling in a binary logic controller for productive is presented.
    Źródło:
    Pomiary Automatyka Kontrola; 2011, R. 57, nr 6, 6; 671-674
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Rozproszony system sterowania o architekturze GALS projektowany z wykorzystaniem sieci Petriego
    Distributed control system with GALS architecture with use of Petri net
    Autorzy:
    Bukowiec, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/153437.pdf
    Data publikacji:
    2012
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    dekompozycja
    FPGA
    sieć Petriego
    sterownik logiczny
    synteza logiczna
    decomposition
    Petri net
    logic controller
    logic synthesis
    Opis:
    W artykule omówiona została architektura rozproszonego systemu sterowania zbudowanego z konfigurowalnych struktur FPGA. System specyfikowany jest z wykorzystaniem sieci Petriego. Następnie poddawany jest dekompozycji na składowe automatowe z wykorzystaniem algorytmów kolorowania sieci Petriego. Każda składowa implementowana jest niezależnie w oddzielnym układzie FPGA. Aby umożliwić komunikację pomiędzy poszczególnymi składowymi zastosowano architekturę globalnie asynchroniczną lokalnie synchroniczną (GALS). Każda podsieć synchronizowana jest lokalnym sygnałem zegarowym. Komunikacja pomiędzy poszczególnymi podsieciami zrealizowana jest asynchronicznie z wykorzystaniem dodatkowych sygnałów.
    The paper presents a new architecture of the distributed specific control system built with FPGA devices. The control algorithm specification is made with use of the control interpreted Petri net. It allows specifying parallel processes in easy way. Next, such a Petri net is decomposed into a set of state-machine type subnets. For this purpose there are applied algorithms of coloring of Petri nets. In this case, each subnet represents one parallel process. Each subnet is independently implemented in different FPGA device. To ensure communication between all subnets, there is used globally asynchronous locally synchronous (GALS) architecture of the whole control system. Each subnet is synchronized by a local clock signal. The global communication between components is buffer-based via additional signals. These signals are generated in particular subnets and they are distributed to other ones. During the synthesis process places of each state-machine subnet are encoded by a minimal-length binary vector. This encoding allows a realization of a microoperation decoder with use of embedded memory blocks of the FPGA device. It leads to balanced usage of all kinds of logic resources of the FPGA device.
    Źródło:
    Pomiary Automatyka Kontrola; 2012, R. 58, nr 6, 6; 502-505
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    DP2PN2Solver: A flexible dynamic programming solver software tool
    Autorzy:
    Mauch, H.
    Powiązania:
    https://bibliotekanauki.pl/articles/970851.pdf
    Data publikacji:
    2006
    Wydawca:
    Polska Akademia Nauk. Instytut Badań Systemowych PAN
    Tematy:
    sieć Bellmana
    model sieci Petri
    programowanie dynamiczne
    Bellman net
    dynamic programming
    matrix chain multiplication problem
    optimization software
    Petri net model
    traveling salesman problem
    Opis:
    Dynamic programming (DP) is a very general optimization technique, which can be applied to numerous decision problems that typically require a sequence of decisions to be made. The solver software DP2PN2Solver presented in this paper is a general, flexible, and expandable software tool that solves DP problems. It consists of modules on two levels. A level one module takes the specification of a discrete DP problem instance as input and produces an intermediate Petri net (PN) representation called Bellman net (Lew, 2002; Lew, Mauch, 2003, 2004) as output - a middle layer, which concisely captures all the essential elements of a DP problem in a standardized and mathematically precise fashion. The optimal solution for the problem instance is computed by an "executable" code (e.g. Java, Spreadsheet, etc.) derived by a level two module from the Bellman net representation. DP2PN2Solver's unique potential lies in its Bellman net representation. In theory, a PN's intrinsic concurrency allows to distribute the computational load encountered when solving a single DP problem instance to several computational units.
    Źródło:
    Control and Cybernetics; 2006, 35, 3; 687-702
    0324-8569
    Pojawia się w:
    Control and Cybernetics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Methodology of Petri networks for simultaneous evaluation of the impact of different modifiers on the fluorescence of nucleotides from electron transport chain in isolated mitochondria and on the process of swelling
    Autorzy:
    Danylovych, H.
    Chunikhin, A.
    Danylovych, Y.
    Kosterin, S.
    Powiązania:
    https://bibliotekanauki.pl/articles/81245.pdf
    Data publikacji:
    2018
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    Petri net based model
    fluorescence
    nicotinamide adenine dinucleotide
    flavin adenine dinucleotide
    nucleotide
    electron transport chain
    mitochondrion
    spectrofluorometry
    Źródło:
    BioTechnologia. Journal of Biotechnology Computational Biology and Bionanotechnology; 2018, 99, 1
    0860-7796
    Pojawia się w:
    BioTechnologia. Journal of Biotechnology Computational Biology and Bionanotechnology
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Modelling of processes with use of process mining techniques
    Autorzy:
    Brzychczy, E.
    Napieraj, A.
    Sukiennik, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/322982.pdf
    Data publikacji:
    2018
    Wydawca:
    Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
    Tematy:
    process mining
    Petri net
    process model
    ProM software
    process discovery
    eksploracja procesów
    sieć Petriego
    model procesu
    oprogramowanie ProM
    Opis:
    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.
    Źródło:
    Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska; 2018, 116; 23-36
    1641-3466
    Pojawia się w:
    Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Selected aspects of endothelial dysfunction and their influence on the atherosclerosis process modeled and analyzed by Petri net based approach
    Autorzy:
    Formanowicz, D.
    Kozak, A.
    Formanowicz, P.
    Powiązania:
    https://bibliotekanauki.pl/articles/80683.pdf
    Data publikacji:
    2011
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    endothelial dysfunction
    biological system
    modelling
    atherosclerosis
    Petri net based model
    immunological response
    vasodilation
    smooth muscle cell
    oxidative stress
    hypercholesterolemia
    Źródło:
    BioTechnologia. Journal of Biotechnology Computational Biology and Bionanotechnology; 2011, 92, 4
    0860-7796
    Pojawia się w:
    BioTechnologia. Journal of Biotechnology Computational Biology and Bionanotechnology
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Ore value chain modeling and cost analysis based on Petri nets
    Modelowanie łańcucha wartości rudy i analiza kosztów w oparciu o sieci Petriego
    Autorzy:
    Ma, Z.
    Hu, N.
    Li, G.
    Liu, D.
    Pan, T.
    Powiązania:
    https://bibliotekanauki.pl/articles/216744.pdf
    Data publikacji:
    2018
    Wydawca:
    Polska Akademia Nauk. Instytut Gospodarki Surowcami Mineralnymi i Energią PAN
    Tematy:
    łańcuch wartości
    sieć Petriego
    analiza kosztów
    kopalnia złota
    przepływ rudy
    value chain
    Petri net
    cost analysis
    gold mine
    ore flow
    Opis:
    At present, with the increase of production capacity and the promotion of production, the reserves of most mining enterprises under the original industrial indexes are rapidly consumed, and the full use of low-grade resources is getting more and more attention. If mining enterprises want to make full use of low-grade resources simultaneously and obtain good economic benefits to strengthening the analysis and management of costs is necessary. For metal underground mines, with the gradual implementation of exploration and mining projects, capital investment and labor consumption are dynamic and increase cumulatively in stages. Consequently, in the evaluation of ore value, we should proceed from a series of processes such as: exploration, mining, processing and the smelting of geological resources, and then study the resources increment in different stages of production and the processing. To achieve a phased assessment of the ore value and fine evaluation of the cost, based on the value chain theory and referring to the modeling method of computer integrated manufacturing open system architecture (CIMOSA), the analysis framework of gold mining enterprise value chain is established based on the value chain theory from the three dimensions of value-added activities, value subjects and value carriers. A value chain model using ore flow as the carrying body is built based on Petri nets. With the CPN Tools emulation tool, the cycle simulation of the model is carry out by the colored Petri nets, which contain a hierarchical structure. Taking a large-scale gold mining enterprise as an example, the value chain model is quantified to simulate the ore value formation, flow, transmission and implementation process. By analyzing the results of the simulation, the ore value at different production stages is evaluated dynamically, and the cost is similarly analyzed in stages, which can improve mining enterprise cost management, promote the application of computer modeling and simulation technology in mine engineering, more accurately evaluate the economic feasibility of ore utilization, and provide the basis for the value evaluation and effective utilization of low-grade ores.
    Obecnie wraz ze wzrostem zapotrzebowania na surowce mineralne, zasoby większości tych surowców podlegają bardzo szybkiemu sczerpaniu, a wykorzystanie zasobów o niskiej jakości jest brane pod uwagę coraz powszechniej. Jeśli przedsiębiorstwa wydobywcze chcą w pełni wykorzystać zasoby surowców mineralnych niskiej jakości i jednocześnie uzyskać dobre wyniki ekonomiczne, niezbędna jest szeroka analiza i zarządzanie kosztami. W przypadku podziemnych kopalń rud metali, przy stopniowej realizacji projektów poszukiwawczo-wydobywczych, nakłady inwestycyjne i nakłady pracy są dynamiczne i wzrastają stopniowo w realizowanych procesach. W związku z tym, w ocenie wartości rudy powinno się uwzględniać szereg procesów, takich jak: poszukiwanie, wydobycie, przeróbkę i hutnictwo, a następnie rozpatrywać przyrosty wartości i kosztów na poszczególnych etapach produkcji i przetwarzania. Aby osiągnąć etapową ocenę wartości rudy i dokładną ocenę kosztów, w oparciu o teorię łańcucha wartości, należy zastosować metodę komputerowego modelowania zintegrowanej produkcji otwartej architektury systemu (CIMOSA). Ramy analizy łańcucha wartości przedsiębiorstwa wydobywczego złota są ustalane z trzech ocen: wartości dodanej, wartości podmiotów i wartości nośników. Model łańcucha wartości wykorzystujący przepływ rudy zbudowany jest w oparciu o sieci Petriego. Symulacja cyklu modelu jest realizowana przez kolorowe sieci Petriego, które zawierają hierarchiczną strukturę. Przykładem jest wielkoskalowe przedsiębiorstwo wydobywcze złota, w którym model łańcucha wartości jest określany ilościowo w celu symulacji procesów tworzenia, przepływu, przeniesienia i realizacji. Analizując wyniki symulacji, wartość rudy na poszczególnych etapach produkcji jest oceniana dynamicznie, a koszty są również analizowane etapami, co może: poprawić zarządzanie kosztami przedsiębiorstw górniczych, promować zastosowanie modelowania komputerowego i technologii symulacji w inżynierii górniczej, bardziej dokładnie ocenić ekonomiczną wykonalność wykorzystania rudy i zapewnić podstawę do oceny wartości i efektywnego wykorzystania rud niskiej jakości.
    Źródło:
    Gospodarka Surowcami Mineralnymi; 2018, 34, 3; 99-118
    0860-0953
    Pojawia się w:
    Gospodarka Surowcami Mineralnymi
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Two probabilistic life-cycle maintenance models for the deteriorating pavement
    Dwa probabilistyczne modele eksploatacji niszczejącej nawierzchni drogowej
    Autorzy:
    Cheng, Z.
    Remenyte-Prescott, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/946111.pdf
    Data publikacji:
    2018
    Wydawca:
    Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
    Tematy:
    performance deterioration
    pavement maintenance management
    Markov process
    Petri-net method
    pogorszenie charakterystyk
    zarządzanie utrzymaniem nawierzchni
    proces Markowa
    metoda sieci Petriego
    Opis:
    Pavement maintenance management poses a significant challenge for highway agencies in terms of pavement deterioration over time and limited financial resources to keep the road condition at an acceptable level. In this paper two probabilistic maintenance models are proposed and compared for pavement deterioration and maintenance processes to evaluate different maintenance strategies. Firstly, the states of pavement condition are defined using the features of different pavement maintenance works, instead of using the traditional method of cumulative service index rating. Secondly, a Markovian model is presented to describe the pavement deterioration and maintenance process with some constraints on the number of interventions, the effect of interventions and etc. But for the complex scenarios, such as non-Markovian deterioration, dependencies between the different types of interventions and the usage of emergency maintenance for roads when the required budget for maintenance is unavailable, a simulation-based Petri-net model is built up to investigate the whole life-cycle evolution. Two examples are used to illustrate and compare the proposed models to demonstrate the merits and disadvantages of each model and its applicable conditions.
    Zarządzanie utrzymaniem nawierzchni stanowi poważne wyzwanie dla agencji eksploatacji autostrad, ponieważ stan nawierzchni wraz z upływem czasu ulega pogorszeniu, a środki finansowe potrzebne na utrzymanie jej w stanie używalności są ograniczone. W niniejszej pracy zaproponowano dwa probabilistyczne modele utrzymania nawierzchni drogowej. Modele porównywano w odniesieniu do procesów niszczenia nawierzchni oraz jej konserwacji, celem oceny różnych strategii eksploatacji. Na wstępie określono stan nawierzchni na podstawie charakterystyk wykonanych prac konserwacyjnych, zamiast korzystania z tradycyjnej metody oceny narastającego wskaźnika obsługi technicznej. Po drugie, przedstawiono model Markowa opisujący procesy niszczenia i konserwacji nawierzchni, z pewnymi ograniczeniami dotyczącymi liczby napraw, wyników napraw, itp. W przypadku złożonych scenariuszy obejmujących niszczenie jako proces niemarkowowski, opisanie zależności między różnymi typami napraw oraz korzystania z konserwacji awaryjnej dróg, w przypadkach gdy wymagany budżet na konserwację jest niedostępny, wymaga skonstruowania modelu sieci Petriego opartego na symulacji. Model ten pozwala na zbadanie ewolucji całego cyklu życia nawierzchni. W pracy przedstawiono dwa przykłady umożliwiające porównanie wad i zalet proponowanych modeli. Przykłady ilustrują także warunki zastosowania tych modeli.
    Źródło:
    Eksploatacja i Niezawodność; 2018, 20, 3; 394-404
    1507-2711
    Pojawia się w:
    Eksploatacja i Niezawodność
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Generation of synchronizing state machines from a transition system: A region-based approach
    Autorzy:
    Teren, Viktor
    Cortadella, Jordi
    Villa, Tiziano
    Powiązania:
    https://bibliotekanauki.pl/articles/2201022.pdf
    Data publikacji:
    2023
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    transition system
    Petri net
    state machine
    theory of regions
    SAT
    pseudo Boolean optimization
    układ przejściowy
    sieć Petriego
    maszyna stanów
    teoria regionów
    Opis:
    Transition systems (TSs) and Petri nets (PNs) are important models of computation ubiquitous in formal methods for modeling systems. A crucial problem is how to extract, from a given TS, a PN whose reachability graph is equivalent (with a suitable notion of equivalence) to the original TS. This paper addresses the decomposition of transition systems into synchronizing state machines (SMs), which are a class of Petri nets where each transition has one incoming and one outgoing arc. Furthermore, all reachable markings (non-negative vectors representing the number of tokens for each place) of an SM have only one marked place with only one token. This is a significant case of the general problem of extracting a PN from a TS. The decomposition is based on the theory of regions, and it is shown that a property of regions called excitation-closure is a sufficient condition to guarantee the equivalence between the original TS and a decomposition into SMs. An efficient algorithm is provided which solves the problem by reducing its critical steps to the maximal independent set problem (to compute a minimal set of irredundant SMs) or to satisfiability (to merge the SMs). We report experimental results that show a good trade-off between quality of results vs. computation time.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2023, 33, 1; 133--149
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Metodologia weryfikacji procesu produkcyjnego z wykorzystaniem sieci Petriego na przykładzie modelowania produkcji frezarko-kopiarki
    Methodology of production process verification using Petri nets illustrated by case study of modeling production process milling-copier machine
    Autorzy:
    Lasota, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/152408.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    sieci Petriego
    s-sieci
    alfa-sieci
    α-sieci
    proces produkcyjny
    kontrola jakości
    Petri net
    s-nets
    alpha-nets
    α-nets
    production process
    quality control
    Opis:
    Przedmiotem artykułu jest analiza skuteczności algorytmu weryfikacji procesów produkcyjnych. Zaproponowana metoda weryfikacji procesu oraz wskazane typy rozwiązań dla wykrytych błędów według autora przyczynią się do bezpieczniejszego specyfikowania i planowania przebiegu realizacji procesu produkcyjnego. Zasadność zaproponowanego podejścia została wykazana na przykładzie modelowania procesu produkcyjnego frezarko-kopiarki z wykorzystaniem diagramów aktywności UML oraz dwóch podklas sieci Petriego: s-sieci i α-sieci.
    The subject of the paper is analysis of the algorithm effectiveness of production processes verification. The proposed verification method (Section 3) and proposed types of solutions for faults (Section 4) according to the author will contribute to safer specifying and planning the implementation of a production process. The production process correct structure (Subsection 2.7) is a key condition for its implementation. Errors at the stage of the process modeling affect the process correctness. Introduction of intermediate quality control can additionally corrupt the process structure and requires its changes. Petri nets provide a convenient mathematical tool for verification of modeled processes (Section 2). Two classes of nets - the s-nets and its subclass α-nets - were selected as the most adequate for modeling the analyzed production processes [2, 3, 4, 7, 9]. To verify the correctness of the processes the "stubborn set method" and Andre method were proposed [1, 3, 4, 5, 8]. In order to depict the manner of the correc-tion of possible structural errors in a net, the paper describes a sample solution. The reasonableness of the proposed approach is shown on an example of modeling the production of a milling-copier machine (Section 4, Figs. 1-9). The area related to the milling-copier machine contains two main parts: the first is modeling the milling-copier machine production process and the second is modeling the copied process mapping.
    Źródło:
    Pomiary Automatyka Kontrola; 2011, R. 57, nr 6, 6; 661-665
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Functional safety verification of train control procedure in train-centric CBTC by colored Petri net
    Autorzy:
    Lin, Junting
    Xu, Qian
    Powiązania:
    https://bibliotekanauki.pl/articles/949829.pdf
    Data publikacji:
    2020
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    train control procedure
    Train-centric CBTC
    functional safety
    formal methods
    colored Petri net
    procedura kontroli pociągu
    sterowanie pociągiem
    bezpieczeństwo funkcjonalne
    metody formalne
    sieci Petriego
    Opis:
    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.
    Źródło:
    Archives of Transport; 2020, 54, 2; 43-58
    0866-9546
    2300-8830
    Pojawia się w:
    Archives of Transport
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Ustalanie harmonogramu obsługi dla systemu wieloelementowego: podejście oparte na stochastycznych sieciach Petriego oraz algorytmie genetycznym
    Maintenance scheduling for multi-unit system: a stochastic Petri-net and genetic algorithm based approach
    Autorzy:
    Zhang, T.
    Cheng, Z.
    Liu, Y. J.
    Guo, B.
    Powiązania:
    https://bibliotekanauki.pl/articles/301668.pdf
    Data publikacji:
    2012
    Wydawca:
    Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
    Tematy:
    ustalanie harmonogramu obsługi
    system wieloelementowy
    sieć Petriego
    algorytm genetyczny
    minimalny przekrój niezdatności
    maintenance scheduling
    multi-unit system
    Petri net
    genetic algorithm
    deterioration
    minimal cut set
    Opis:
    Częste czynności obsługowe prowadzą do niskiej gotowości systemu oraz wymagają dużych nakładów pieniężnych. W systemie wieloelementowym całkowity czas i koszt obsługi można obniżać łącząc ze sobą czynności obsługowe niektórych elementów. Dlatego też konieczne jest planowanie zoptymalizowanego harmonogramu czynności obsługowych. W artykule zaproponowano model symulacyjny optymalizacji harmonogramu obsługi oparty na stochastycznych sieciach Petriego uwzględniający niepewność zarówno procesu deterioracji jak i procesu obsługi elementów systemu. Algorytm genetyczny wykorzystano do opracowania terminarza czynności obsługowych, który pozwalałby na minimalizację kosztów całkowitych w przyjętym horyzoncie planowania przy uwzględnieniu całkowitego czasu obsługi, stanu elementów, strat wynikających z cyklu życia oraz wykonalności rozwiązania. Ponadto opisano techniki zastosowane w celu zmniejszenia wysiłku obliczeniowego potrzebnego do wykonania analizy. W końcowej części pracy przedstawiono studium przypadku.
    Frequent maintenance activities would cause low system availability and require large sums of money. For a multi-unit system, maintenance activities of some units can be combined together to reduce the total maintenance possession time and cost. Therefore, an optimized timetable of the maintenance activities is needed to be planned. Considering the uncertainties in both the deterioration and maintenance process of the units in a system, this paper advances a stochastic Petri-net based simulation optimization model for maintenance scheduling. The genetic algorithm is used to get the solution of the timetable of the maintenance activity schedule such that the overall cost is minimized in a planning horizon taking into account total maintenance possession time, unit condition, life cycle loss and solution feasibility. Some techniques used to reduce the computational effort required to perform the analysis are also described. A case study is given in the end.
    Źródło:
    Eksploatacja i Niezawodność; 2012, 14, 3; 256-264
    1507-2711
    Pojawia się w:
    Eksploatacja i Niezawodność
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems
    Autorzy:
    Wojnakowski, Marcin
    Wiśniewski, Remigiusz
    Bazydło, Grzegorz
    Popławski, Mateusz
    Powiązania:
    https://bibliotekanauki.pl/articles/2055147.pdf
    Data publikacji:
    2021
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    safeness
    control part
    cyber physical system
    Petri net
    state machine cover
    place invariant
    bezpieczeństwo baz danych
    część kontrolna
    system cyberfizyczny
    sieć Petriego
    maszyna stanów
    niezmiennik miejsca
    Opis:
    The paper proposes an algorithm for safeness verification of a Petri net-based specification of the control part of cyber-physical systems. The method involves a linear algebra technique and is based on the computation of the state machine cover of a Petri net. Contrary to the well-known methods, the presented idea does not require obtaining all sequential components, nor the computation of all reachable states in the system. The efficiency and effectiveness of the proposed method have been verified experimentally with a set of 243 test modules (Petri net-based systems). The results of experiments show high efficiency of the proposed method since a solution has been found even for such nets where popular techniques are not able to analyze the safeness of the system. Finally, the presented algorithm is explained in detail using a real-life case-study example of the control part of a cyber-physical system.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2021, 31, 4; 647--657
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Wyznaczanie SM - pokrycia bezpiecznej sieci Petriego metodą komputerowego wnioskowania
    Calculation of State Machine cover of safe Petri net by means of computer based reasoning
    Autorzy:
    Tkacz, J.
    Adamski, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/153764.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    przestrzeń stanów lokalnych i globalnych sieci Petriego
    transwersale
    podsieci automatowe SM
    logika sekwentów Gentzena
    Petri net state space
    transversal
    formal reasoning
    State Machine subnets
    configurable logic controllers
    Opis:
    W artykule przedstawiono nowy sposób pokrywania bezpiecznej sieci Petriego minimalną liczbą podsieci automatowych. Metoda symboliczna polega na wczesnej selekcji odpowiednich transwersali, stopniowo wyznaczanych dla rodziny maksymalnych podzbiorów współbieżnych miejsc sieci. W przypadku bezpiecznej sterującej sieci Petriego, miejsca traktowane są jako stany lokalne, natomiast ich dopuszczalne konfiguracje określają jej stany globalne. Transwersale wyróżniają podzbiory miejsc niewspółbieżnych, przypisanych do odpowiednich SM-podsieci. Komputerowe wnioskowanie odbywa się w monotonicznym rachunku sekwentów Gentzena. Rezultaty wykorzystywane są podczas syntezy cyfrowych, konfigurowanych sterowników logicznych z zastosowaniem komercjalnego oprogramowania i języków opisu sprzętu.
    The paper presents a way of finding a suitable Petri net cover by means of a minimal number of maximal State Machine subnets (SM-components). A new symbolic method of Petri net parallel decomposition is based on early selection of proper minimal transversals, taken from family of all global Petri net states. Global states are given in advance as maximal subsets, formed from mutually concurrent places. They can be found as reachable global states of Petri net. During digital design of a logic controller, the places of the safe Petri net are treated as local internal states of Concurrent State Machine, implemented in a reconfigurable logic device (FPGA). The minimal number of selected transversals, which characterizes subsets of sequentially related places, is assigned to separate State Machine subnets. The computer based reasoning is searching a logic expression describing transversals in Gentzen sequent logic. The obtained decomposition (or cover) is used for state encoding of configurable array based embedded logic controllers, implemented as microsystems.
    Źródło:
    Pomiary Automatyka Kontrola; 2011, R. 57, nr 11, 11; 1397-1400
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Mission reliability modeling and evaluation of multi-mission phased mission system based on extended object-oriented Petri net
    Modelowanie niezawodności misji oraz ocena systemów wielozadaniowych o misjach okresowych w oparciu o rozszerzoną sieć obiektową Petriego
    Autorzy:
    Wu, X.
    WU, X.
    Powiązania:
    https://bibliotekanauki.pl/articles/301777.pdf
    Data publikacji:
    2017
    Wydawca:
    Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
    Tematy:
    Wielozadaniowy system o misjach okresowych
    rozszerzona sieć obiektowa Petriego
    niezawodność misji
    modelowanie niezawodności
    ocena niezawodności
    Multi-mission phased mission system
    extended object-oriented Petri net
    mission reliability
    reliability modeling
    reliability evaluation
    Opis:
    Wielozadaniowy system o misjach okresowych (ang. multi-mission phased mission system, MM PMS) jest rozszerzoną wersją systemu o misjach okresowych (ang. phased mission system, PMS). MM PMS to system, w którym zachodzi konieczność wykonania więcej niż jednego zadania w danym okresie czasu. Zadania (misje) w MM-PMS zazwyczaj charakteryzują się następującymi cechami: mają różne czasy rozpoczęcia i trwania; mają wspólne elementy, ale występujące w różnych kombinacjach; różnią się prawdopodobieństwem wystąpienia. W związku z tym, modelowanie i ocena niezawodności MM-PMS jest bardziej skomplikowana niż w przypadku PMS. W pracy przedstawiono ogólną metodologię opartą na idei rozszerzonej sieci obiektowej Petriego (EOOPN) służącą do modelowania niezawodności misji oraz oceny MM-PMS o podanych cechach. Proponowany model EOOPN dla MM-PMS obejmuje pięć modeli zależnych przedstawiających MM-PMS na różnych poziomach szczegółowości. Aby wykazać skuteczność proponowanego modelu, porównano wyniki oceny niezawodności misji dla prostego przypadku MM-PMS dokonanej metodami symulacji EOOPN z oceną przeprowadzoną metodą binarnego diagramu decyzyjnego (BDD). Wyniki pokazują, że model EOOPN można z powodzeniem stosować do obrazowania dynamiki oraz oceny niezawodności MM-PMS.
    Multi-mission phased mission system (MM-PMS) is an extension of phased mission system (PMS) which is required to complete more than one missions for a period of time. Missions in MM-PMS usually have following characteristics: they have different mission starting and duration times; they share common components but with different combinational requirements; they have unequal occurrence probabilities. Therefore, reliability modeling and evaluation of MM-PMS is more complicated than that of PMS. This paper presents a general methodology based on the extended object-oriented Petri net (EOOPN) for mission reliability modeling and evaluation of MM-PMS with these characteristics. The proposed EOOPN model for MM-PMS includes five sub-models depicting MM-PMS at different levels of granularity. To demonstrate the effectiveness of the proposed model, mission reliability evaluation results of a simple MM-PMS case by EOOPN simulation methods are compared with those by binary decision diagram (BDD). Results show that the EOOPN model is suitable to depict the dynamics and to evaluate the reliability of MM-PMS.
    Źródło:
    Eksploatacja i Niezawodność; 2017, 19, 2; 244-253
    1507-2711
    Pojawia się w:
    Eksploatacja i Niezawodność
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Specyfikacja sterowników cyfrowych zorientowana na niezawodność
    Quality oriented specification of logic controllers
    Autorzy:
    Doligalski, M.
    Adamski, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/154557.pdf
    Data publikacji:
    2010
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    systemy wbudowane
    Rekonfigurowalne Sterowniki Logiczne
    Diagramy Maszyny Stanów UML
    sieci Petriego
    diagramy SFC
    embedded systems
    reconfigurable logic controller
    UML state machine diagram
    Petri net
    sequential function chart
    quality-driven design
    formal verification
    Opis:
    W artykule przedstawiono wdrażaną metodę projektowania rekonfigurowalnych sterowników logicznych, ukierunkowaną na jakość behawioralnej specyfikacji, a tym samym niezawodność pracy. Zamierzone funkcjonowanie sterownika jest opisane z wykorzystaniem równocześnie dwóch dualnych języków graficznych: diagramu maszyny stanów UML oraz komplementarnej sieci Petriego. Synergia spowodowana dwoma wzajemnie się uzupełniającymi podejściami do behawioralnego opisu tego samego sterownika daje szansę na otrzymanie uwiarygodnionej specyfikacji już we wstępnej fazie projektowania.
    In the paper quality oriented approach to the design of digital embedded reconfigurable controllers is presented. The behaviour of a logic controller is described by means of dual related graphical languages: UML State machine diagram and Petri Net graph. The first one is well accepted among designers from the electronic industry, the second one among control engineers taking the advantage from similarities between Petri nets and Sequential Function Charts (SFC). The synergy of the view from two sides into the same project gives a chance to obtain validated specification at the design process beginning. It is shown in the second paragraph. Comparison of elementary models (Tab. 1) and design process with use of the dual specification (Fig. 1) are also presented. The third paragraph deals with mutual conversion of the elementary elements (Tab. 2) and shows their subsets in the form of class diagrams (Figs. 2 and 3). An example of the logic controller dual specification (Figs. 4 and 5) is given in the fourth paragraph. The practical use of dual specification is contingent upon implementation of tools for performing the conversion process in an automatic way.
    Źródło:
    Pomiary Automatyka Kontrola; 2010, R. 56, nr 7, 7; 671-674
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-36 z 36

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies