Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Analiza oraz dekompozycja części sterującej systemu cyber-fizycznego opisanego z zastosowaniem interpretowanej sieci Petriego.

2019/35/B/ST6/01683

Słowa kluczowe:

część sterująca systemu cyber-fizycznego sieć Petriego analiza dekompozycja współbieżność metody formalne

Deskryptory:

  • ST6_2: Systemy komputerowe, systemy równoległe i rozproszone, sieci sensorów, systemy wbudowane, systemy cybernetyczne
  • ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna, algorytmy kwantowe
  • ST6_14: Inne zagadnienia pokrewne

Panel:

ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne

Jednostka realizująca:

Uniwersytet Zielonogórski

woj.

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr hab. Remigiusz Grzegorz Wiśniewski 

Liczba wykonawców projektu: 5

Konkurs: OPUS 18 - ogłoszony 2019-09-16

Przyznana kwota: 672 000 PLN

Rozpoczęcie projektu: 2020-06-01

Zakończenie projektu: 2024-06-25

Planowany czas trwania projektu: 48 miesięcy (z wniosku)

Status projektu: Projekt rozliczony

Opis Projektu

Pobierz opis projektu w formacie .pdf

Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (45)
  • Teksty w publikacjach pokonferencyjnych (55)
  • Publikacje książkowe (9)
  1. Design of Petri net-based Cyber-Physical Systems Oriented on the Implementation in Field Programmable Gate Arrays
    Autorzy:
    Remigiusz Wisniewski
    Czasopismo:
    Energies (rok: 2021, tom: 14(21), strony: 45682), Wydawca: MDPI
    Status:
    Opublikowana
    Doi:
    10.3390/en14217054 - link do publikacji
  2. Analysis of Safeness in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems
    Autorzy:
    Marcin Wojnakowski, Remigiusz Wiśniewski, Grzegorz Bazydło, Mateusz Popławski
    Czasopismo:
    International Journal of Applied Mathematics and Computer Science (rok: 2021, tom: 31, strony: 647-657), Wydawca: sciendo
    Status:
    Opublikowana
    Doi:
    10.34768/amcs-2021-0045 - link do publikacji
  3. Holistic Research on Blockchain's Consensus Protocol Mechanisms with Security and Concurrency Analysis Aspects of CPS
    Autorzy:
    Aniruddha Bhattacharjya, Remigiusz Wiśniewski, Venkatram Nidumolu
    Czasopismo:
    Electronics (rok: 2022, tom: 11, strony: 45674), Wydawca: MDPI
    Status:
    Opublikowana
    Doi:
    10.3390/electronics11172760 - link do publikacji
  4. Interpreted Petri Nets Applied to Autonomous Components within Electric Power Systems
    Autorzy:
    Iwona Grobelna, Paweł Szcześniak
    Czasopismo:
    Applied Sciences (rok: 2022, tom: 12, strony: 45675), Wydawca: MDPI
    Status:
    Opublikowana
    Doi:
    10.3390/app12094772 - link do publikacji
  5. Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets
    Autorzy:
    Iwona Grobelna, Paweł Szcześniak
    Czasopismo:
    Sensors (rok: 2022, tom: 22, strony: 45675), Wydawca: MDPI
    Status:
    Opublikowana
    Doi:
    10.3390/s22186936 - link do publikacji
  6. Help students learn interpreted Petri nets with Minecraft
    Autorzy:
    Iwona Grobelna, Małgorzata Mazurkiewicz, Damian Janus
    Czasopismo:
    Informatics in Education (rok: 2022, ), Wydawca: Vilnius University, ETH Zürich
    Status:
    Opublikowana
    Doi:
    10.15388/infedu.2023.13 - link do publikacji
  7. Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets
    Autorzy:
    Iwona Grobelna, Paweł Szcześniak
    Czasopismo:
    Sensors (rok: 2022, tom: 22, strony: 45675), Wydawca: MDPI
    Status:
    Opublikowana
    Doi:
    10.3390/s22186936 - link do publikacji
  8. Analysis of Safeness in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems
    Autorzy:
    Marcin Wojnakowski, Remigiusz Wiśniewski, Grzegorz Bazydło, Mateusz Popławski
    Czasopismo:
    International Journal of Applied Mathematics and Computer Science (rok: 2021, tom: 31, strony: 647-657), Wydawca: sciendo
    Status:
    Opublikowana
    Doi:
    10.34768/amcs-2021-0045 - link do publikacji
  9. Modelling and Analysis of a Petri net-based System Supporting Implementation of Additive Manufacturing Technologies
    Autorzy:
    Remigiusz Wiśniewski, Justyna Patalas-Maliszewska, Marcin Wojnakowski, Marcin Topczak
    Czasopismo:
    IEEE Transactions on Automation Science and Engineering (rok: 2023, tom: brak danych, strony: 45667), Wydawca: IEEE Xplore
    Status:
    Złożona
  10. Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets
    Autorzy:
    Remigiusz Wiśniewski, Iwona Grobelna, Andrei Karatkevich
    Czasopismo:
    Sensors (rok: 2020, tom: 20(19), strony: 45679), Wydawca: MDPI
    Status:
    Opublikowana
    Doi:
    10.3390/s20195565 - link do publikacji
  11. Help students learn interpreted Petri nets with Minecraft
    Autorzy:
    Iwona Grobelna, Małgorzata Mazurkiewicz, Damian Janus
    Czasopismo:
    Informatics in Education (rok: 2022, ), Wydawca: Vilnius University, ETH Zürich
    Status:
    Opublikowana
    Doi:
    10.15388/infedu.2023.13 - link do publikacji
  12. Formal Verification of Control Modules in Cyber-Physical Systems
    Autorzy:
    Iwona Grobelna
    Czasopismo:
    Sensors (rok: 2020, tom: 20(18), strony: 45680), Wydawca: MDPI
    Status:
    Opublikowana
    Doi:
    10.3390/s20185154 - link do publikacji
  13. Modelling and Analysis of a Petri net-based System Supporting Implementation of Additive Manufacturing Technologies
    Autorzy:
    Remigiusz Wiśniewski, Justyna Patalas-Maliszewska, Marcin Wojnakowski, Marcin Topczak
    Czasopismo:
    IEEE Transactions on Automation Science and Engineering (rok: 2023, tom: brak danych, strony: 45668), Wydawca: IEEE
    Status:
    Opublikowana
    Doi:
    10.1109/TASE.2023.3301304 - link do publikacji
  14. Designing Reconfigurable Cyber-Physical Systems Using Unified Modeling Language
    Autorzy:
    Grzegorz Bazydło
    Czasopismo:
    Energies (rok: 2023, tom: 16, strony: 45678), Wydawca: MDPI
    Status:
    Opublikowana
    Doi:
    10.3390/en16031273 - link do publikacji
  15. Decomposition of a Petri net-based Cyber-Physical System Toward Implementation as an Integrated System within FPGA
    Autorzy:
    Remigiusz Wiśniewski, Anico Cósta, Marcin Wojnakowski, Maxim Maliński
    Czasopismo:
    Applied Sciences (rok: 2023, tom: 13, strony: 45672), Wydawca: MDPI
    Status:
    Opublikowana
    Doi:
    10.3390/app13127137 - link do publikacji
  16. Holistic Research on Blockchain's Consensus Protocol Mechanisms with Security and Concurrency Analysis Aspects of CPS
    Autorzy:
    Aniruddha Bhattacharjya, Remigiusz Wiśniewski, Venkatram Nidumolu
    Czasopismo:
    Electronics (rok: 2022, tom: 11, strony: 45674), Wydawca: MDPI
    Status:
    Opublikowana
    Doi:
    10.3390/electronics11172760 - link do publikacji
  17. Design of Petri net-based Cyber-Physical Systems Oriented on the Implementation in Field Programmable Gate Arrays
    Autorzy:
    Remigiusz Wisniewski
    Czasopismo:
    Energies (rok: 2021, tom: 14(21), strony: 45682), Wydawca: MDPI
    Status:
    Opublikowana
    Doi:
    10.3390/en14217054 - link do publikacji
  18. Design of Petri net-based Cyber-Physical Systems Oriented on the Implementation in Field Programmable Gate Arrays
    Autorzy:
    Remigiusz Wisniewski
    Czasopismo:
    Energies (rok: 2021, tom: 14(21), strony: 45682), Wydawca: MDPI
    Status:
    Opublikowana
    Doi:
    10.3390/en14217054 - link do publikacji
  19. Holistic Research on Blockchain's Consensus Protocol Mechanisms with Security and Concurrency Analysis Aspects of CPS
    Autorzy:
    Aniruddha Bhattacharjya, Remigiusz Wiśniewski, Venkatram Nidumolu
    Czasopismo:
    Electronics (rok: 2022, tom: 11, strony: 45674), Wydawca: MDPI
    Status:
    Opublikowana
    Doi:
    10.3390/electronics11172760 - link do publikacji
  20. Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets
    Autorzy:
    Remigiusz Wiśniewski, Iwona Grobelna, Andrei Karatkevich
    Czasopismo:
    Sensors (rok: 2020, tom: 20(19), strony: 45679), Wydawca: MDPI
    Status:
    Opublikowana
    Doi:
    10.3390/s20195565 - link do publikacji
  21. Help students learn interpreted Petri nets with Minecraft
    Autorzy:
    Iwona Grobelna, Małgorzata Mazurkiewicz, Damian Janus
    Czasopismo:
    Informatics in Education (rok: 2022, ), Wydawca: Vilnius University, ETH Zürich
    Status:
    Opublikowana
    Doi:
    10.15388/infedu.2023.13 - link do publikacji
  22. Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets
    Autorzy:
    Remigiusz Wiśniewski, Iwona Grobelna, Andrei Karatkevich
    Czasopismo:
    Sensors (rok: 2020, tom: 20(19), strony: 45679), Wydawca: MDPI
    Status:
    Opublikowana
    Doi:
    10.3390/s20195565 - link do publikacji
  23. Formal Verification of Control Modules in Cyber-Physical Systems
    Autorzy:
    Iwona Grobelna
    Czasopismo:
    Sensors (rok: 2020, tom: 20(18), strony: 45680), Wydawca: MDPI
    Status:
    Opublikowana
    Doi:
    10.3390/s20185154 - link do publikacji
  24. Design and Verification of Petri Net-Based Cyber-Physical Systems Oriented Toward Implementation in Field Programmable Gate Arrays - a Case Study Example
    Autorzy:
    Remigiusz Wiśniewski, Marcin Wojnakowski, Zhiwu Li
    Czasopismo:
    Energies (rok: 2023, tom: 16, strony: 45676), Wydawca: MDPI
    Status:
    Opublikowana
    Doi:
    10.3390/en16010067 - link do publikacji
  25. Decomposition of a Petri net-based Cyber-Physical System Toward Implementation as an Integrated System within FPGA
    Autorzy:
    Remigiusz Wiśniewski, Anico Cósta, Marcin Wojnakowski, Maxim Maliński
    Czasopismo:
    Applied Sciences (rok: 2023, tom: 13, strony: 45672), Wydawca: MDPI
    Status:
    Opublikowana
    Doi:
    10.3390/app13127137 - link do publikacji
  26. Designing Reconfigurable Cyber-Physical Systems Using Unified Modeling Language
    Autorzy:
    Grzegorz Bazydło
    Czasopismo:
    Energies (rok: 2023, tom: 16, strony: 45678), Wydawca: MDPI
    Status:
    Opublikowana
    Doi:
    10.3390/en16031273 - link do publikacji
  27. Design and Verification of Petri Net-Based Cyber-Physical Systems Oriented Toward Implementation in Field Programmable Gate Arrays - a Case Study Example
    Autorzy:
    Remigiusz Wiśniewski, Marcin Wojnakowski, Zhiwu Li
    Czasopismo:
    Energies (rok: 2023, tom: 16, strony: 45676), Wydawca: MDPI
    Status:
    Opublikowana
    Doi:
    10.3390/en16010067 - link do publikacji
  28. Modelling and Analysis of a Petri net-based System Supporting Implementation of Additive Manufacturing Technologies
    Autorzy:
    Remigiusz Wiśniewski, Justyna Patalas-Maliszewska, Marcin Wojnakowski, Marcin Topczak
    Czasopismo:
    IEEE Transactions on Automation Science and Engineering (rok: 2023, tom: brak danych, strony: 45668), Wydawca: IEEE
    Status:
    Opublikowana
    Doi:
    10.1109/TASE.2023.3301304 - link do publikacji
  29. Designing Reconfigurable Cyber-Physical Systems Using Unified Modeling Language
    Autorzy:
    Grzegorz Bazydło
    Czasopismo:
    Energies (rok: 2023, tom: 16, strony: 45678), Wydawca: MDPI
    Status:
    Opublikowana
    Doi:
    10.3390/en16031273 - link do publikacji
  30. Formal Verification of Control Modules in Cyber-Physical Systems
    Autorzy:
    Iwona Grobelna
    Czasopismo:
    Sensors (rok: 2020, tom: 20(18), strony: 45680), Wydawca: MDPI
    Status:
    Opublikowana
    Doi:
    10.3390/s20185154 - link do publikacji
  31. Design Optimization of the Petri Net-based Production Process Supported by Additive Manufacturing Technologies
    Autorzy:
    Justyna Patalas-Maliszewska, Remigiusz Wiśniewski, Marcin Topczak, Marcin Wojnakowski
    Czasopismo:
    Bulletin of the Polish Academy of Sciences: Technical Sciences (rok: 2022, tom: 70, strony: 45667), Wydawca: Journals Polish Academy of Sciences
    Status:
    Opublikowana
    Doi:
    10.24425/bpasts.2022.140693 - link do publikacji
  32. Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets
    Autorzy:
    Iwona Grobelna, Paweł Szcześniak
    Czasopismo:
    Sensors (rok: 2022, tom: 22, strony: 45675), Wydawca: MDPI
    Status:
    Opublikowana
    Doi:
    10.3390/s22186936 - link do publikacji
  33. Analysis of Safeness in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems
    Autorzy:
    Marcin Wojnakowski, Remigiusz Wiśniewski, Grzegorz Bazydło, Mateusz Popławski
    Czasopismo:
    International Journal of Applied Mathematics and Computer Science (rok: 2021, tom: 31, strony: 647-657), Wydawca: sciendo
    Status:
    Opublikowana
    Doi:
    10.34768/amcs-2021-0045 - link do publikacji
  34. Formal Verification of Control Modules in Cyber-Physical Systems
    Autorzy:
    Iwona Grobelna
    Czasopismo:
    Sensors (rok: 2020, tom: 20(18), strony: 45680), Wydawca: MDPI
    Status:
    Opublikowana
    Doi:
    10.3390/s20185154 - link do publikacji
  35. Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets
    Autorzy:
    Remigiusz Wiśniewski, Iwona Grobelna, Andrei Karatkevich
    Czasopismo:
    Sensors (rok: 2020, tom: 20(19), strony: 45679), Wydawca: MDPI
    Status:
    Opublikowana
    Doi:
    10.3390/s20195565 - link do publikacji
  36. Design Optimization of the Petri Net-based Production Process Supported by Additive Manufacturing Technologies
    Autorzy:
    Justyna Patalas-Maliszewska, Remigiusz Wiśniewski, Marcin Topczak, Marcin Wojnakowski
    Czasopismo:
    Bulletin of the Polish Academy of Sciences: Technical Sciences (rok: 2022, tom: 70, strony: 45667), Wydawca: Journals Polish Academy of Sciences
    Status:
    Opublikowana
    Doi:
    10.24425/bpasts.2022.140693 - link do publikacji
  37. Interpreted Petri Nets Applied to Autonomous Components within Electric Power Systems
    Autorzy:
    Iwona Grobelna, Paweł Szcześniak
    Czasopismo:
    Applied Sciences (rok: 2022, tom: 12, strony: 45675), Wydawca: MDPI
    Status:
    Opublikowana
    Doi:
    10.3390/app12094772 - link do publikacji
  38. Design Optimization of the Petri Net-based Production Process Supported by Additive Manufacturing Technologies
    Autorzy:
    Justyna Patalas-Maliszewska, Remigiusz Wiśniewski, Marcin Topczak, Marcin Wojnakowski
    Czasopismo:
    Bulletin of the Polish Academy of Sciences: Technical Sciences
    Status:
    Przyjęta do publikacji
  39. Inspire students to learn interpreted Petri nets with Minecraft
    Autorzy:
    Iwona Grobelna, Małgorzata Mazurkiewicz, Damian Janus
    Czasopismo:
    Informatics in Education , Wydawca: Vilnius University Institute of Data Science and Digital Technologies
    Status:
    Złożona
  40. Design and Optimization of a Petri Net-Based Concurrent Control System toward a Reduction in the Resources in a Field-Programmable Gate Array
    Autorzy:
    Remigiusz Wiśniewski, Adam Opara, Marcin Wojnakowski
    Czasopismo:
    Applied Sciences (rok: 2024, tom: 14, strony: 5212), Wydawca: MDPI
    Status:
    Opublikowana
    Doi:
    10.3390/app14125212 - link do publikacji
  41. Interpreted Petri Nets Applied to Autonomous Components within Electric Power Systems
    Autorzy:
    Iwona Grobelna, Paweł Szcześniak
    Czasopismo:
    Applied Sciences (rok: 2022, tom: 12, strony: 45675), Wydawca: MDPI
    Status:
    Opublikowana
    Doi:
    10.3390/app12094772 - link do publikacji
  42. Design and Verification of Petri Net-Based Cyber-Physical Systems Oriented Toward Implementation in Field Programmable Gate Arrays - a Case Study Example
    Autorzy:
    Remigiusz Wiśniewski, Marcin Wojnakowski, Zhiwu Li
    Czasopismo:
    Energies (rok: 2023, tom: 16, strony: 45676), Wydawca: MDPI
    Status:
    Opublikowana
    Doi:
    10.3390/en16010067 - link do publikacji
  43. Design Optimization of the Petri Net-based Production Process Supported by Additive Manufacturing Technologies
    Autorzy:
    Justyna Patalas-Maliszewska, Remigiusz Wiśniewski, Marcin Topczak, Marcin Wojnakowski
    Czasopismo:
    Bulletin of the Polish Academy of Sciences: Technical Sciences (rok: 2022, tom: 70, strony: 45667), Wydawca: Journals Polish Academy of Sciences
    Status:
    Opublikowana
    Doi:
    10.24425/bpasts.2022.140693 - link do publikacji
  44. Analysis of Safeness in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems
    Autorzy:
    Marcin Wojnakowski, Remigiusz Wiśniewski, Grzegorz Bazydło, Mateusz Popławski
    Czasopismo:
    International Journal of Applied Mathematics and Computer Science (rok: 2021, tom: 31, strony: 647-657), Wydawca: sciendo
    Status:
    Opublikowana
    Doi:
    10.34768/amcs-2021-0045 - link do publikacji
  45. Design of Petri net-based Cyber-Physical Systems Oriented on the Implementation in Field Programmable Gate Arrays
    Autorzy:
    Remigiusz Wisniewski
    Czasopismo:
    Energies (rok: 2021, tom: 14(21), strony: 45682), Wydawca: MDPI
    Status:
    Opublikowana
    Doi:
    10.3390/en14217054 - link do publikacji
  1. Integrating different modelling formalisms supporting co-design development of controllers for cyber-physical systems - A case study
    Autorzy:
    Grzegorz Bazydło, Anicó Costa, Luis Gomes
    Konferencja:
    IEEE 9th International Conference on e-Learning in Industrial Electronics - ICELIE 2022 (rok: 2022, tom: International Conference on e-Learning in Industrial Electronics, strony: 45663), Wydawca: IEEE Xplore
    Data:
    konferencja 17-20 October 2022
    Status:
    Opublikowana
    Doi:
    10.1109/ICELIE55228.2022.9969438 - link do publikacji
  2. A Quick Heuristic Algorithm for Enforcing the Liveness of S3PR Petri Nets
    Autorzy:
    Andrei Karatkevich, Iwona Grobelna
    Konferencja:
    22st International Symposium INFOTEH-JAHORINA (INFOTEH) (rok: 2023, tom: International Symposium INFOTEH-JAHORINA, strony: 45663), Wydawca: IEEE Xplore
    Data:
    konferencja 15-17 March 2023
    Status:
    Opublikowana
    Doi:
    10.1109/INFOTEH57020.2023.10094203 - link do publikacji
  3. A Process-Oriented Deadlock Recovery Policy for Flexible Manufacturing Systems
    Autorzy:
    Andrei Karatkevich, Iwona Grobelna
    Konferencja:
    17th International Conference on Control, Automation, Robotics and Vision - ICARCV 2022 (rok: 2022, tom: International Conference on Control, Automation, Robotics and Vision, strony: 545-552), Wydawca: IEEE
    Data:
    konferencja 11-13 December 2022
    Status:
    Opublikowana
    Doi:
    10.1109/ICARCV57592.2022.10004357 - link do publikacji
  4. Analysis of Control Part of Cyber-Physical Systems Specified by Interpreted Petri Nets
    Autorzy:
    Marcin Wojnakowski, Mateusz Popławski, Grzegorz Bazydło, Remigiusz Wiśniewski
    Konferencja:
    International Conference on Systems, Man, and Cybernetics - IEEE SMC 2022 (rok: 2022, tom: International Conference on Systems, Man, and Cybernetics, strony: 1090-1095), Wydawca: IEEE Xplore
    Data:
    konferencja 9-12 October 2022
    Status:
    Opublikowana
    Doi:
    10.1109/SMC53654.2022.9945425 - link do publikacji
  5. A polynomial-time algorithm for detecting potentially unbounded places in a Petri net-based concurrent system
    Autorzy:
    Marcin Wojnakowski, Remigiusz Wiśniewski, Mateusz Popławski
    Konferencja:
    Euro-Par 2023, Part II, LNCS 14352 (rok: 2023, tom: 29th International European Conference on Parallel and Distributed Computing, strony: 45664), Wydawca: Springer Nature Switzerland
    Data:
    konferencja 28 August - 1 September 2023
    Status:
    Opublikowana
    Doi:
    10.1007/978-3-031-48803-0_32 - link do publikacji
  6. A Deadlock Recovery Policy for Flexible Manufacturing Systems with Minimized Traversing within Reachability Graph
    Autorzy:
    Iwona Grobelna, Andrei Karatkevich
    Konferencja:
    21st International Symposium INFOTEH-JAHORINA (INFOTEH) (rok: 2022, tom: International Symposium on INFOTEH-JAHORINA (INFOTEH), strony: 45663), Wydawca: IEEE
    Data:
    konferencja 16-18 March 2022
    Status:
    Opublikowana
    Doi:
    10.1109/INFOTEH53737.2022.9751283 - link do publikacji
  7. Bounded and Place Invariant-Covered Petri Nets for Cyber-Physical Systems Specification
    Autorzy:
    Marcin Wojnakowski, Remigiusz Wiśniewski, Mateusz Popławski
    Konferencja:
    International Conference of Computational Methods in Sciences and Engineering - 18th ICCMSE 2022 (rok: 2023, tom: International Conference of Computational Methods in Sciences and Engineering, strony: 45661), Wydawca: AIP Publishing
    Data:
    konferencja 26-29 October 2022
    Status:
    Przyjęta do publikacji
  8. Reachability Tree in Liveness Analysis of Petri Net-based Cyber-Physical Systems
    Autorzy:
    Mateusz Popławski, Marcin Wojnakowski, Grzegorz Bazydło, Remigiusz Wiśniewski
    Konferencja:
    International Conference of Computational Methods in Sciences and Engineering - 17th ICCMSE 2021 (rok: 2022, tom: International Conference of Computational Methods in Sciences and Engineering, strony: 0700071-0700074), Wydawca: AIP Publishing
    Data:
    konferencja 4-7 September 2021
    Status:
    Opublikowana
    Doi:
    10.1063/5.0119328 - link do publikacji
  9. Safeness Analysis of Petri net-based Cyber-Physical Systems Based on the Linear Algebra and Parallel Reductions
    Autorzy:
    Marcin Wojnakowski, Mateusz Popławski, Remigiusz Wiśniewski, Grzegorz Bazydło
    Konferencja:
    International Conference of Computational Methods in Sciences and Engineering - 17th ICCMSE 2021 (rok: 2022, tom: International Conference of Computational Methods in Sciences and Engineering, strony: 0700061-700064), Wydawca: AIP Publishing
    Data:
    konferencja 4-7 September 2021
    Status:
    Opublikowana
    Doi:
    10.1063/5.0119327 - link do publikacji
  10. Safeness Analysis of Petri net-based Cyber-Physical Systems Based on the Linear Algebra and Parallel Reductions
    Autorzy:
    Marcin Wojnakowski, Mateusz Popławski, Remigiusz Wiśniewski, Grzegorz Bazydło
    Konferencja:
    American Institute of Physics (AIP) Conference Proceedings (tom: ICCMSE 2021, strony: ), Wydawca: AIP
    Data:
    konferencja 4-7 września 2021
    Status:
    Przyjęta do publikacji
  11. Reachability Tree in Liveness Analysis of Petri Net-based Cyber-Physical Systems
    Autorzy:
    Mateusz Popławski, Marcin Wojnakowski, Grzegorz Bazydło, Remigiusz Wiśniewski
    Konferencja:
    American Institute of Physics (AIP) Conference Proceedings (tom: ICCMSE 2021, strony: ), Wydawca: AIP
    Data:
    konferencja 4-7 września 2021
    Status:
    Przyjęta do publikacji
  12. A Deadlock Recovery Policy for Flexible Manufacturing Systems with Minimized Traversing within Reachability Graph
    Autorzy:
    Iwona Grobelna, Andrei Karatkevich
    Konferencja:
    21st International Symposium INFOTEH-JAHORINA (tom: INFOTEH 2022, strony: ), Wydawca: IEEE
    Data:
    konferencja 16-18 marca 2022
    Status:
    Przyjęta do publikacji
  13. Bounded and Place Invariant-Covered Petri Nets for Cyber-Physical Systems Specification
    Autorzy:
    Marcin Wojnakowski, Remigiusz Wiśniewski, Mateusz Popławski
    Konferencja:
    AIP Conference Procedings (rok: 2024, tom: International Conference of Computational Methods in Sciences and Engineering, strony: 60001), Wydawca: AIP Publishing
    Data:
    konferencja 26-29 October 2022
    Status:
    Opublikowana
    Doi:
    10.1063/5.0193168 - link do publikacji
  14. Initial Verification of Liveness Property in the Control Part of Cyber-Physical Systems modelled by Petri nets
    Autorzy:
    Mateusz Popławski, Marcin Wojnakowski, Remigiusz Wiśniewski, Grzegorz Bazydło
    Konferencja:
    AIP Conference Procedings (rok: 2024, tom: International Conference of Computational Methods in Sciences and Engineering, strony: 60002), Wydawca: AIP Publishing
    Data:
    konferencja 26-29 October 2022
    Status:
    Opublikowana
    Doi:
    10.1063/5.0193339 - link do publikacji
  15. A polynomial-time algorithm for detecting potentially unbounded places in a Petri net-based concurrent system
    Autorzy:
    Marcin Wojnakowski, Remigiusz Wiśniewski, Mateusz Popławski
    Konferencja:
    Euro-Par 2023, Part II, LNCS 14352 (rok: 2023, tom: 29th International European Conference on Parallel and Distributed Computing, strony: 45664), Wydawca: Springer Nature Switzerland
    Data:
    konferencja 28 August - 1 September 2023
    Status:
    Opublikowana
    Doi:
    10.1007/978-3-031-48803-0_32 - link do publikacji
  16. Hippo-CPS: A Tool for Verification and Analysis of Petri Net-based Cyber-Physical Systems
    Autorzy:
    Remigiusz Wiśniewski, Grzegorz Bazydło, Marcin Wojnakowski, Mateusz Popławski
    Konferencja:
    Application and Theory of Petri Nets and Concurrency (rok: 2023, tom: International Conference on Application and Theory of Petri Nets and Concurrency, strony: 191-204), Wydawca: Springer
    Data:
    konferencja 25-30 June 2023
    Status:
    Opublikowana
    Doi:
    10.1007/978-3-031-33620-1_10 - link do publikacji
  17. A Quick Heuristic Algorithm for Enforcing the Liveness of S3PR Petri Nets
    Autorzy:
    Andrei Karatkevich, Iwona Grobelna
    Konferencja:
    22st International Symposium INFOTEH-JAHORINA (INFOTEH) (rok: 2023, tom: International Symposium INFOTEH-JAHORINA, strony: 45663), Wydawca: IEEE Xplore
    Data:
    konferencja 15-17 March 2023
    Status:
    Opublikowana
    Doi:
    10.1109/INFOTEH57020.2023.10094203 - link do publikacji
  18. A Process-Oriented Deadlock Recovery Policy for Flexible Manufacturing Systems
    Autorzy:
    Andrei Karatkevich, Iwona Grobelna
    Konferencja:
    17th International Conference on Control, Automation, Robotics and Vision - ICARCV 2022 (rok: 2022, tom: International Conference on Control, Automation, Robotics and Vision, strony: 545-552), Wydawca: IEEE
    Data:
    konferencja 11-13 December 2022
    Status:
    Opublikowana
    Doi:
    10.1109/ICARCV57592.2022.10004357 - link do publikacji
  19. Initial Verification of Liveness Property in the Control Part of Cyber-Physical Systems modelled by Petri nets
    Autorzy:
    Mateusz Popławski, Marcin Wojnakowski, Remigiusz Wiśniewski, Grzegorz Bazydło
    Konferencja:
    International Conference of Computational Methods in Sciences and Engineering - 18th ICCMSE 2022 (rok: 2023, tom: International Conference of Computational Methods in Sciences and Engineering, strony: 45661), Wydawca: AIP Publishing
    Data:
    konferencja 26-29 October 2022
    Status:
    Przyjęta do publikacji
  20. Hippo-CPS: A Tool for Verification and Analysis of Petri Net-based Cyber-Physical Systems
    Autorzy:
    Remigiusz Wiśniewski, Grzegorz Bazydło, Marcin Wojnakowski, Mateusz Popławski
    Konferencja:
    Application and Theory of Petri Nets and Concurrency (rok: 2023, tom: international Conference on Application and Theory of Petri Nets and Concurrency, strony: 45674), Wydawca: Springer International Publishing
    Data:
    konferencja 25-30 June 2023
    Status:
    Przyjęta do publikacji
  21. A Deadlock Recovery Policy for Flexible Manufacturing Systems with Minimized Traversing within Reachability Graph
    Autorzy:
    Iwona Grobelna, Andrei Karatkevich
    Konferencja:
    21st International Symposium INFOTEH-JAHORINA (INFOTEH) (rok: 2022, tom: International Symposium on INFOTEH-JAHORINA (INFOTEH), strony: 45663), Wydawca: IEEE
    Data:
    konferencja 16-18 March 2022
    Status:
    Opublikowana
    Doi:
    10.1109/INFOTEH53737.2022.9751283 - link do publikacji
  22. Logical vs. Physical Time in Cyber-Physical Systems Specified by Interpreted Petri Nets
    Autorzy:
    Łukasz Sawicki, Iwona Grobelna, Piotr Mróz, Małgorzata Mazurkiewicz
    Konferencja:
    Proceedings of the 10th Prague Embedded Systems Workshop - PESW 2022 (rok: 2022, tom: The 10th Prague Embedded Systems Workshop, strony: 24-32), Wydawca: Czech Technical University in Prague
    Data:
    konferencja 30 June - 2 July 2022
    Status:
    Opublikowana
    Doi:
    link do publikacji
  23. Hippo-CPS: Verification of Boundedness, Safeness and Liveness of Petri net-based Cyber-Physical Systems
    Autorzy:
    Marcin Wojnakowski, Mateusz Popławski, Remigiusz Wiśniewski, Grzegorz Bazydło
    Konferencja:
    13th Advanced Doctoral Conference On Computing, Electrical And Industrial Systems 2022 (tom: DoCEIS 2022, strony: ), Wydawca: Springer
    Data:
    konferencja 29 czerwca - 1 lipca 2022
    Status:
    Złożona
  24. Interpreted Petri Nets in Modelling and Analysis of Physical Resilient Manufacturing Systems
    Autorzy:
    Remigiusz Wiśniewski, Justyna Patalas-Maliszewska, Marcin Wojnakowski, Marcin Topczak
    Konferencja:
    International Conference on Systems, Man, and Cybernetics - IEEE SMC 2022 (rok: 2022, tom: International Conference on Systems, Man, and Cybernetics, strony: 1096-1102), Wydawca: IEEE Xplore
    Data:
    konferencja 9-12 October 2022
    Status:
    Opublikowana
    Doi:
    10.1109/SMC53654.2022.9945341 - link do publikacji
  25. A Deadlock Recovery Policy for Flexible Manufacturing Systems with Minimized Traversing within Reachability Graph
    Autorzy:
    Iwona Grobelna, Andrei Karatkevich
    Konferencja:
    21st International Symposium INFOTEH-JAHORINA (INFOTEH) (rok: 2022, tom: International Symposium on INFOTEH-JAHORINA (INFOTEH), strony: 45663), Wydawca: IEEE
    Data:
    konferencja 16-18 March 2022
    Status:
    Opublikowana
    Doi:
    10.1109/INFOTEH53737.2022.9751283 - link do publikacji
  26. Modelling of the effectiveness of integrating additive manufacturing technologies into Petri net-based manufacturing systems
    Autorzy:
    Justyna Patalas-Maliszewska, Remigiusz Wiśniewski, Marcin Topczak, Marcin Wojnakowski
    Konferencja:
    2022 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) (rok: 2022, tom: International Conference on Fuzzy Systems, strony: 45666), Wydawca: IEEE
    Data:
    konferencja 18-23 July 2022
    Status:
    Opublikowana
    Doi:
    10.1109/FUZZ-IEEE55066.2022.9882766 - link do publikacji
  27. Integrating different modelling formalisms supporting co-design development of controllers for cyber-physical systems - A case study
    Autorzy:
    Grzegorz Bazydło, Anicó Costa, Luis Gomes
    Konferencja:
    IEEE 9th International Conference on e-Learning in Industrial Electronics - ICELIE 2022 (rok: 2022, tom: International Conference on e-Learning in Industrial Electronics, strony: 45663), Wydawca: IEEE Xplore
    Data:
    konferencja 17-20 October 2022
    Status:
    Opublikowana
    Doi:
    10.1109/ICELIE55228.2022.9969438 - link do publikacji
  28. Interpreted Petri Nets in Modelling and Analysis of Physical Resilient Manufacturing Systems
    Autorzy:
    Remigiusz Wiśniewski, Justyna Patalas-Maliszewska, Marcin Wojnakowski, Marcin Topczak
    Konferencja:
    International Conference on Systems, Man, and Cybernetics - IEEE SMC 2022 (rok: 2022, tom: International Conference on Systems, Man, and Cybernetics, strony: 1096-1102), Wydawca: IEEE Xplore
    Data:
    konferencja 9-12 October 2022
    Status:
    Opublikowana
    Doi:
    10.1109/SMC53654.2022.9945341 - link do publikacji
  29. Safeness Analysis of Petri net-based Cyber-Physical Systems Based on the Linear Algebra and Parallel Reductions
    Autorzy:
    Marcin Wojnakowski, Mateusz Popławski, Remigiusz Wiśniewski, Grzegorz Bazydło
    Konferencja:
    International Conference of Computational Methods in Sciences and Engineering - 17th ICCMSE 2021 (rok: 2022, tom: International Conference of Computational Methods in Sciences and Engineering, strony: 0700061-700064), Wydawca: AIP Publishing
    Data:
    konferencja 4-7 September 2021
    Status:
    Opublikowana
    Doi:
    10.1063/5.0119327 - link do publikacji
  30. Integrating different modelling formalisms supporting co-design development of controllers for cyber-physical systems - A case study
    Autorzy:
    Grzegorz Bazydło, Anicó Costa, Luis Gomes
    Konferencja:
    IEEE 9th International Conference on e-Learning in Industrial Electronics - ICELIE 2022 (rok: 2022, tom: International Conference on e-Learning in Industrial Electronics, strony: 45663), Wydawca: IEEE Xplore
    Data:
    konferencja 17-20 October 2022
    Status:
    Opublikowana
    Doi:
    10.1109/ICELIE55228.2022.9969438 - link do publikacji
  31. Analysis of Control Part of Cyber-Physical Systems Specified by Interpreted Petri Nets
    Autorzy:
    Marcin Wojnakowski, Mateusz Popławski, Grzegorz Bazydło, Remigiusz Wiśniewski
    Konferencja:
    International Conference on Systems, Man, and Cybernetics - IEEE SMC 2022 (rok: 2022, tom: International Conference on Systems, Man, and Cybernetics, strony: 1090-1095), Wydawca: IEEE Xplore
    Data:
    konferencja 9-12 October 2022
    Status:
    Opublikowana
    Doi:
    10.1109/SMC53654.2022.9945425 - link do publikacji
  32. Modelling of the effectiveness of integrating additive manufacturing technologies into Petri net-based manufacturing systems
    Autorzy:
    Justyna Patalas-Maliszewska, Remigiusz Wiśniewski, Marcin Topczak, Marcin Wojnakowski
    Konferencja:
    IEEE World Congress on Computational Intelligence (tom: WCCI 2022, strony: ), Wydawca: IEEE
    Data:
    konferencja 18-23 lipca 2022
    Status:
    Złożona
  33. Hippo-CPS: A Tool for Verification and Analysis of Petri Net-based Cyber-Physical Systems
    Autorzy:
    Remigiusz Wiśniewski, Grzegorz Bazydło, Marcin Wojnakowski, Mateusz Popławski
    Konferencja:
    International Conference on Computer-Aided Verification (tom: CAV 2022, strony: ), Wydawca: Springer
    Data:
    konferencja 7-10 sierpnia 2022
    Status:
    Złożona
  34. A Process-Oriented Deadlock Recovery Policy for Flexible Manufacturing Systems
    Autorzy:
    Andrei Karatkevich, Iwona Grobelna
    Konferencja:
    28th International European Conference on Parallel and Distributed (tom: Euro-Par 2022, strony: )
    Data:
    konferencja 24-26 sierpnia 2022
    Status:
    Złożona
  35. Deadlock Recovery for Flexible Manufacturing Systems with Exhaustive Exploration of the Reachability Graph
    Autorzy:
    Iwona Grobelna, Andrei Karatkevich
    Konferencja:
    17th International Conference The experience of designing and application of CAD systems (rok: 2023, tom: 17th International Conference on the Experience of Designing and Application of CAD Systems (CADSM), strony: 45662), Wydawca: IEEE Xplore
    Data:
    konferencja 22–25 February, 2023
    Status:
    Opublikowana
    Doi:
    10.1109/CADSM58174.2023.10076500 - link do publikacji
  36. A Process-Oriented Deadlock Recovery Policy for Flexible Manufacturing Systems
    Autorzy:
    Andrei Karatkevich, Iwona Grobelna
    Konferencja:
    17th International Conference on Control, Automation, Robotics and Vision - ICARCV 2022 (rok: 2022, tom: International Conference on Control, Automation, Robotics and Vision, strony: 545-552), Wydawca: IEEE
    Data:
    konferencja 11-13 December 2022
    Status:
    Opublikowana
    Doi:
    10.1109/ICARCV57592.2022.10004357 - link do publikacji
  37. Modelling of the effectiveness of integrating additive manufacturing technologies into Petri net-based manufacturing systems
    Autorzy:
    Justyna Patalas-Maliszewska, Remigiusz Wiśniewski, Marcin Topczak, Marcin Wojnakowski
    Konferencja:
    2022 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) (rok: 2022, tom: International Conference on Fuzzy Systems, strony: 45666), Wydawca: IEEE
    Data:
    konferencja 18-23 July 2022
    Status:
    Opublikowana
    Doi:
    10.1109/FUZZ-IEEE55066.2022.9882766 - link do publikacji
  38. Reachability Tree in Liveness Analysis of Petri Net-based Cyber-Physical Systems
    Autorzy:
    Mateusz Popławski, Marcin Wojnakowski, Grzegorz Bazydło, Remigiusz Wiśniewski
    Konferencja:
    International Conference of Computational Methods in Sciences and Engineering - 17th ICCMSE 2021 (rok: 2022, tom: International Conference of Computational Methods in Sciences and Engineering, strony: 0700071-0700074), Wydawca: AIP Publishing
    Data:
    konferencja 4-7 September 2021
    Status:
    Opublikowana
    Doi:
    10.1063/5.0119328 - link do publikacji
  39. Interpreted Petri Nets in Modelling and Analysis of Physical Resilient Manufacturing Systems
    Autorzy:
    Remigiusz Wiśniewski, Justyna Patalas-Maliszewska, Marcin Wojnakowski, Marcin Topczak
    Konferencja:
    International Conference on Systems, Man, and Cybernetics - IEEE SMC 2022 (rok: 2022, tom: International Conference on Systems, Man, and Cybernetics, strony: 1096-1102), Wydawca: IEEE Xplore
    Data:
    konferencja 9-12 October 2022
    Status:
    Opublikowana
    Doi:
    10.1109/SMC53654.2022.9945341 - link do publikacji
  40. A Petri-Net based decision model of a supply chains driven by AM technology - a case study
    Autorzy:
    Justyna Patalas-Maliszewska, Remigiusz Wiśniewski, Marcin Topczak, Marcin Wojnakowski
    Konferencja:
    2023 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) (rok: 2023, tom: IEEE International Conference on Fuzzy Systems, strony: 45664), Wydawca: IEEE Xplore
    Data:
    konferencja 13-17 August 2023
    Status:
    Złożona
  41. Analysis of Control Part of Cyber-Physical Systems Specified by Interpreted Petri Nets
    Autorzy:
    Marcin Wojnakowski, Mateusz Popławski, Grzegorz Bazydło, Remigiusz Wiśniewski
    Konferencja:
    International Conference on Systems, Man, and Cybernetics - IEEE SMC 2022 (rok: 2022, tom: International Conference on Systems, Man, and Cybernetics, strony: 1090-1095), Wydawca: IEEE Xplore
    Data:
    konferencja 9-12 October 2022
    Status:
    Opublikowana
    Doi:
    10.1109/SMC53654.2022.9945425 - link do publikacji
  42. Fast Verification of Petri Net-based Model of Industrial Decision-making Systems: A Case Study
    Autorzy:
    Remigiusz Wiśniewski, Justyna Patalas-Maliszewska, Marcin Wojnakowski, Marcin Topczak, Mengchu Zhou
    Konferencja:
    2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC) (rok: 2023, tom: The 2023 IEEE Conference on Systems, Man, and Cybernetics, strony: 3316-3322), Wydawca: IEEE Xplore
    Data:
    konferencja 1-4 October 2023
    Status:
    Opublikowana
    Doi:
    10.1109/SMC53992.2023.10394156 - link do publikacji
  43. Logical vs. Physical Time in Cyber-Physical Systems Specified by Interpreted Petri Nets
    Autorzy:
    Łukasz Sawicki, Iwona Grobelna, Piotr Mróz, Małgorzata Mazurkiewicz
    Konferencja:
    Proceedings of the 10th Prague Embedded Systems Workshop - PESW 2022 (rok: 2022, tom: The 10th Prague Embedded Systems Workshop, strony: 24-32), Wydawca: Czech Technical University in Prague
    Data:
    konferencja 30 June - 2 July 2022
    Status:
    Opublikowana
    Doi:
    link do publikacji
  44. Hippo-CPS: A Tool for Verification and Analysis of Petri Net-based Cyber-Physical Systems
    Autorzy:
    Remigiusz Wiśniewski, Grzegorz Bazydło, Marcin Wojnakowski, Mateusz Popławski
    Konferencja:
    Application and Theory of Petri Nets and Concurrency (rok: 2023, tom: International Conference on Application and Theory of Petri Nets and Concurrency, strony: 191-204), Wydawca: Springer
    Data:
    konferencja 25-30 June 2023
    Status:
    Opublikowana
    Doi:
    10.1007/978-3-031-33620-1_10 - link do publikacji
  45. Safeness Analysis of Petri net-based Cyber-Physical Systems Based on the Linear Algebra and Parallel Reductions
    Autorzy:
    Marcin Wojnakowski, Mateusz Popławski, Remigiusz Wiśniewski, Grzegorz Bazydło
    Konferencja:
    International Conference of Computational Methods in Sciences and Engineering - 17th ICCMSE 2021 (rok: 2022, tom: International Conference of Computational Methods in Sciences and Engineering, strony: 0700061-700064), Wydawca: AIP Publishing
    Data:
    konferencja 4-7 September 2021
    Status:
    Opublikowana
    Doi:
    10.1063/5.0119327 - link do publikacji
  46. Reachability Tree in Liveness Analysis of Petri Net-based Cyber-Physical Systems
    Autorzy:
    Mateusz Popławski, Marcin Wojnakowski, Grzegorz Bazydło, Remigiusz Wiśniewski
    Konferencja:
    International Conference of Computational Methods in Sciences and Engineering - 17th ICCMSE 2021 (rok: 2022, tom: International Conference of Computational Methods in Sciences and Engineering, strony: 0700071-0700074), Wydawca: AIP Publishing
    Data:
    konferencja 4-7 September 2021
    Status:
    Opublikowana
    Doi:
    10.1063/5.0119328 - link do publikacji
  47. Model Checking of Concurrency in Cyber-Physical Systems Specified with Interpreted Petri Nets
    Autorzy:
    Iwona Grobelna
    Konferencja:
    2024 23rd International Symposium INFOTEH-JAHORINA (INFOTEH) (rok: 2024, tom: International Symposium INFOTEH-JAHORINA (INFOTEH), strony: 45661), Wydawca: IEEE Xplore
    Data:
    konferencja 20-22 March 2024
    Status:
    Opublikowana
    Doi:
    10.1109/INFOTEH60418.2024.10495966 - link do publikacji
  48. Deadlock Recovery for Flexible Manufacturing Systems with Exhaustive Exploration of the Reachability Graph
    Autorzy:
    Iwona Grobelna, Andrei Karatkevich
    Konferencja:
    17th International Conference The experience of designing and application of CAD systems (rok: 2023, tom: 17th International Conference on the Experience of Designing and Application of CAD Systems (CADSM), strony: 45662), Wydawca: IEEE Xplore
    Data:
    konferencja 22–25 February, 2023
    Status:
    Opublikowana
    Doi:
    10.1109/CADSM58174.2023.10076500 - link do publikacji
  49. Initial Verification of Liveness Property in the Control Part of Cyber-Physical Systems modelled by Petri nets
    Autorzy:
    Mateusz Popławski, Marcin Wojnakowski, Remigiusz Wiśniewski, Grzegorz Bazydło
    Konferencja:
    International Conference of Computational Methods in Sciences and Engineering - 18th ICCMSE 2022 (rok: 2023, tom: International Conference of Computational Methods in Sciences and Engineering, strony: 45661), Wydawca: AIP Publishing
    Data:
    konferencja 26-29 October 2022
    Status:
    Przyjęta do publikacji
  50. Bounded and Place Invariant-Covered Petri Nets for Cyber-Physical Systems Specification
    Autorzy:
    Marcin Wojnakowski, Remigiusz Wiśniewski, Mateusz Popławski
    Konferencja:
    International Conference of Computational Methods in Sciences and Engineering - 18th ICCMSE 2022 (rok: 2023, tom: International Conference of Computational Methods in Sciences and Engineering, strony: 45661), Wydawca: AIP Publishing
    Data:
    konferencja 26-29 October 2022
    Status:
    Przyjęta do publikacji
  51. Logical vs. Physical Time in Cyber-Physical Systems Specified by Interpreted Petri Nets
    Autorzy:
    Łukasz Sawicki, Iwona Grobelna, Piotr Mróz, Małgorzata Mazurkiewicz
    Konferencja:
    Proceedings of the 10th Prague Embedded Systems Workshop - PESW 2022 (rok: 2022, tom: The 10th Prague Embedded Systems Workshop, strony: 24-32), Wydawca: Czech Technical University in Prague
    Data:
    konferencja 30 June - 2 July 2022
    Status:
    Opublikowana
    Doi:
    link do publikacji
  52. Fast Verification of Petri Net-based Model of Industrial Decision-making Systems: A Case Study
    Autorzy:
    Remigiusz Wiśniewski, Justyna Patalas-Maliszewska, Marcin Wojnakowski, Marcin Topczak, Mengchu Zhou
    Konferencja:
    2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC) (rok: 2023, tom: The 2023 IEEE Conference on Systems, Man, and Cybernetics, strony: 3316-3322), Wydawca: IEEE Xplore
    Data:
    konferencja 1-4 October 2023
    Status:
    Opublikowana
    Doi:
    10.1109/SMC53992.2023.10394156 - link do publikacji
  53. Deadlock Recovery for Flexible Manufacturing Systems with Exhaustive Exploration of the Reachability Graph
    Autorzy:
    Iwona Grobelna, Andrei Karatkevich
    Konferencja:
    17th International Conference The experience of designing and application of CAD systems (rok: 2023, tom: CADSM, strony: 45662), Wydawca: IEEE Xplore
    Data:
    konferencja 22–25 February, 2023
    Status:
    Przyjęta do publikacji
  54. A Quick Heuristic Algorithm for Enforcing the Liveness of S3PR Petri Nets
    Autorzy:
    Andrei Karatkevich, Iwona Grobelna
    Konferencja:
    22st International Symposium INFOTEH-JAHORINA (INFOTEH) (rok: 2023, tom: International Symposium INFOTEH-JAHORINA, strony: 45663), Wydawca: IEEE Xplore
    Data:
    konferencja 15-17 March 2023
    Status:
    Przyjęta do publikacji
  55. Modelling of the effectiveness of integrating additive manufacturing technologies into Petri net-based manufacturing systems
    Autorzy:
    Justyna Patalas-Maliszewska, Remigiusz Wiśniewski, Marcin Topczak, Marcin Wojnakowski
    Konferencja:
    2022 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) (rok: 2022, tom: International Conference on Fuzzy Systems, strony: 45666), Wydawca: IEEE
    Data:
    konferencja 18-23 July 2022
    Status:
    Opublikowana
    Doi:
    10.1109/FUZZ-IEEE55066.2022.9882766 - link do publikacji
  1. Hippo-CPS: Verification of Boundedness, Safeness and Liveness of Petri net-based Cyber-Physical Systems
    Autorzy:
    Marcin Wojnakowski, Mateusz Popławski, Remigiusz Wiśniewski, Grzegorz Bazydło
    Książka:
    Technological Innovation for Digitalization and Virtualization: 13th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (rok: 2022, tom: 649, strony: 74-82), Wydawca: Springer Nature Switzerland
    Data:
    konferencja 29 czerwca - 1 lipca 2022
    Status:
    Opublikowana
    Doi:
    10.1007/978-3-031-07520-9_7 - link do publikacji
  2. Preliminary Verification of Liveness in a Control Part of Cyber-Physical Systems Modeled by a Petri Net
    Autorzy:
    Mateusz Popławski, Remigiusz Wiśniewski, Grzegorz Bazydło, Maxim Maliński
    Książka:
    Technological Innovation for Connected Cyber Physical Spaces: 14th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (rok: 2023, tom: 678, strony: 205-215), Wydawca: Springer Nature Switzerland
    Data:
    konferencja 5-7 July
    Status:
    Opublikowana
    Doi:
    10.1007/978-3-031-36007-7_15 - link do publikacji
  3. Hippo-CPS: Verification of Boundedness, Safeness and Liveness of Petri net-based Cyber-Physical Systems
    Autorzy:
    Marcin Wojnakowski, Mateusz Popławski, Remigiusz Wiśniewski, Grzegorz Bazydło
    Książka:
    Technological Innovation for Digitalization and Virtualization: 13th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (rok: 2022, tom: 649, strony: 74-82), Wydawca: Springer Nature Switzerland
    Data:
    konferencja 29 czerwca - 1 lipca 2022
    Status:
    Opublikowana
    Doi:
    10.1007/978-3-031-07520-9_7 - link do publikacji
  4. Preliminary Verification of Liveness in a Control Part of Cyber-Physical Systems Modeled by a Petri Net
    Autorzy:
    Mateusz Popławski, Remigiusz Wiśniewski, Grzegorz Bazydło, Maxim Maliński
    Książka:
    Technological Innovation for Connected Cyber Physical Spaces: 14th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (rok: 2023, tom: 678, strony: 205-215), Wydawca: Springer Nature Switzerland
    Data:
    konferencja 5-7 July
    Status:
    Opublikowana
    Doi:
    10.1007/978-3-031-36007-7_15 - link do publikacji
  5. Hippo-CPS: Verification of Boundedness, Safeness and Liveness of Petri net-based Cyber-Physical Systems
    Autorzy:
    Marcin Wojnakowski, Mateusz Popławski, Remigiusz Wiśniewski, Grzegorz Bazydło
    Książka:
    Technological Innovation for Digitalization and Virtualization: 13th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (rok: 2022, tom: 649, strony: 74-82), Wydawca: Springer Nature Switzerland
    Data:
    konferencja 29 czerwca - 1 lipca 2022
    Status:
    Opublikowana
    Doi:
    10.1007/978-3-031-07520-9_7 - link do publikacji
  6. Verification of the Boundedness Property in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems
    Autorzy:
    Marcin Wojnakowski, Remigiusz Wiśniewski
    Książka:
    Technological Innovation for Applied AI Systems: 12th IFIP WG 5.5 / SOCOLNET Advanced Doctoral AI Conference on Computing, Electrical and Industrial Systems (rok: 2021, tom: 626, strony: 83-91), Wydawca: Cham: Springer International Publishing
    Status:
    Opublikowana
    Doi:
    10.1007/978-3-030-78288-7 - link do publikacji
  7. Verification of the Boundedness Property in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems
    Autorzy:
    Marcin Wojnakowski, Remigiusz Wiśniewski
    Książka:
    Technological Innovation for Applied AI Systems: 12th IFIP WG 5.5 / SOCOLNET Advanced Doctoral AI Conference on Computing, Electrical and Industrial Systems (rok: 2021, tom: 626, strony: 83-91), Wydawca: Cham: Springer International Publishing
    Status:
    Opublikowana
    Doi:
    10.1007/978-3-030-78288-7 - link do publikacji
  8. Verification of the Boundedness Property in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems
    Autorzy:
    Marcin Wojnakowski, Remigiusz Wiśniewski
    Książka:
    Technological Innovation for Applied AI Systems: 12th IFIP WG 5.5 / SOCOLNET Advanced Doctoral AI Conference on Computing, Electrical and Industrial Systems (rok: 2021, tom: 626, strony: 83-91), Wydawca: Cham: Springer International Publishing
    Status:
    Opublikowana
    Doi:
    10.1007/978-3-030-78288-7 - link do publikacji
  9. Verification of the Boundedness Property in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems
    Autorzy:
    Marcin Wojnakowski, Remigiusz Wiśniewski
    Książka:
    Technological Innovation for Applied AI Systems: 12th IFIP WG 5.5 / SOCOLNET Advanced Doctoral AI Conference on Computing, Electrical and Industrial Systems (rok: 2021, tom: 626, strony: 83-91), Wydawca: Cham: Springer International Publishing
    Status:
    Opublikowana
    Doi:
    10.1007/978-3-030-78288-7 - link do publikacji

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy