Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Analysis and decomposition of a control part of a cyber-physical system specified by an interpreted Petri net.

2019/35/B/ST6/01683

Keywords:

control part of a cyber-physical system interpreted Petri net analysis decomposition concurrency formal methods

Descriptors:

  • ST6_002:
  • ST6_004:
  • ST6_014:

Panel:

ST6 - Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems

Host institution :

Uniwersytet Zielonogórski

woj. lubuskie

Other projects carried out by the institution 

Principal investigator (from the host institution):

dr hab. Remigiusz Grzegorz Wiśniewski 

Number of co-investigators in the project: 5

Call: OPUS 18 - announced on 2019-09-16

Amount awarded: 672 000 PLN

Project start date (Y-m-d): 2020-06-26

Project end date (Y-m-d): 2024-06-25

Project duration:: 48 months (the same as in the proposal)

Project status: Project settled

Project description

Download the project description in a pdf file

Note - project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.

Information in the final report

  • Publication in academic press/journals (14)
  • Articles in post-conference publications (22)
  • Book publications / chapters in book publications (3)
  1. Design of Petri net-based Cyber-Physical Systems Oriented on the Implementation in Field Programmable Gate Arrays
    Authors:
    Remigiusz Wisniewski
    Academic press:
    Energies (tom: 14(21), strony: ), Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/en14217054 - link to the publication
  2. Analysis of Safeness in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems
    Authors:
    Marcin Wojnakowski, Remigiusz Wiśniewski, Grzegorz Bazydło, Mateusz Popławski
    Academic press:
    International Journal of Applied Mathematics and Computer Science (), Wydawca: sciendo
    Status:
    Published
    DOI:
    10.34768/amcs-2021-0045 - link to the publication
  3. Holistic Research on Blockchain's Consensus Protocol Mechanisms with Security and Concurrency Analysis Aspects of CPS
    Authors:
    Aniruddha Bhattacharjya, Remigiusz Wiśniewski, Venkatram Nidumolu
    Academic press:
    Electronics , Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/electronics11172760 - link to the publication
  4. Interpreted Petri Nets Applied to Autonomous Components within Electric Power Systems
    Authors:
    Iwona Grobelna, Paweł Szcześniak
    Academic press:
    Applied Sciences , Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/app12094772 - link to the publication
  5. Modelling and Analysis of a Petri net-based System Supporting Implementation of Additive Manufacturing Technologies
    Authors:
    Remigiusz Wiśniewski, Justyna Patalas-Maliszewska, Marcin Wojnakowski, Marcin Topczak
    Academic press:
    IEEE Transactions on Automation Science and Engineering (tom: brak danych, strony: ), Wydawca: IEEE
    Status:
    Published
    DOI:
    10.1109/TASE.2023.3301304 - link to the publication
  6. Designing Reconfigurable Cyber-Physical Systems Using Unified Modeling Language
    Authors:
    Grzegorz Bazydło
    Academic press:
    Energies , Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/en16031273 - link to the publication
  7. Decomposition of a Petri net-based Cyber-Physical System Toward Implementation as an Integrated System within FPGA
    Authors:
    Remigiusz Wiśniewski, Anico Cósta, Marcin Wojnakowski, Maxim Maliński
    Academic press:
    Applied Sciences , Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/app13127137 - link to the publication
  8. Help students learn interpreted Petri nets with Minecraft
    Authors:
    Iwona Grobelna, Małgorzata Mazurkiewicz, Damian Janus
    Academic press:
    Informatics in Education , Wydawca: Vilnius University, ETH Zürich
    Status:
    Published
    DOI:
    10.15388/infedu.2023.13 - link to the publication
  9. Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets
    Authors:
    Remigiusz Wiśniewski, Iwona Grobelna, Andrei Karatkevich
    Academic press:
    Sensors (tom: 20(19), strony: ), Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/s20195565 - link to the publication
  10. Formal Verification of Control Modules in Cyber-Physical Systems
    Authors:
    Iwona Grobelna
    Academic press:
    Sensors (tom: 20(18), strony: ), Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/s20185154 - link to the publication
  11. Design and Verification of Petri Net-Based Cyber-Physical Systems Oriented Toward Implementation in Field Programmable Gate Arrays - a Case Study Example
    Authors:
    Remigiusz Wiśniewski, Marcin Wojnakowski, Zhiwu Li
    Academic press:
    Energies , Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/en16010067 - link to the publication
  12. Design Optimization of the Petri Net-based Production Process Supported by Additive Manufacturing Technologies
    Authors:
    Justyna Patalas-Maliszewska, Remigiusz Wiśniewski, Marcin Topczak, Marcin Wojnakowski
    Academic press:
    Bulletin of the Polish Academy of Sciences: Technical Sciences , Wydawca: Journals Polish Academy of Sciences
    Status:
    Published
    DOI:
    10.24425/bpasts.2022.140693 - link to the publication
  13. Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets
    Authors:
    Iwona Grobelna, Paweł Szcześniak
    Academic press:
    Sensors , Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/s22186936 - link to the publication
  14. Design and Optimization of a Petri Net-Based Concurrent Control System toward a Reduction in the Resources in a Field-Programmable Gate Array
    Authors:
    Remigiusz Wiśniewski, Adam Opara, Marcin Wojnakowski
    Academic press:
    Applied Sciences , Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/app14125212 - link to the publication
  1. Integrating different modelling formalisms supporting co-design development of controllers for cyber-physical systems - A case study
    Authors:
    Grzegorz Bazydło, Anicó Costa, Luis Gomes
    Conference:
    IEEE 9th International Conference on e-Learning in Industrial Electronics - ICELIE 2022 (tom: International Conference on e-Learning in Industrial Electronics, strony: ), Wydawca: IEEE Xplore
    Data:
    konferencja 17-20 October 2022
    Status:
    Published
    DOI:
    10.1109/ICELIE55228.2022.9969438 - link to the publication
  2. A Quick Heuristic Algorithm for Enforcing the Liveness of S3PR Petri Nets
    Authors:
    Andrei Karatkevich, Iwona Grobelna
    Conference:
    22st International Symposium INFOTEH-JAHORINA (INFOTEH) (tom: International Symposium INFOTEH-JAHORINA, strony: ), Wydawca: IEEE Xplore
    Data:
    konferencja 15-17 March 2023
    Status:
    Published
    DOI:
    10.1109/INFOTEH57020.2023.10094203 - link to the publication
  3. A Process-Oriented Deadlock Recovery Policy for Flexible Manufacturing Systems
    Authors:
    Andrei Karatkevich, Iwona Grobelna
    Conference:
    17th International Conference on Control, Automation, Robotics and Vision - ICARCV 2022 (tom: International Conference on Control, Automation, Robotics and Vision, strony: 545-552), Wydawca: IEEE
    Data:
    konferencja 11-13 December 2022
    Status:
    Published
    DOI:
    10.1109/ICARCV57592.2022.10004357 - link to the publication
  4. Bounded and Place Invariant-Covered Petri Nets for Cyber-Physical Systems Specification
    Authors:
    Marcin Wojnakowski, Remigiusz Wiśniewski, Mateusz Popławski
    Conference:
    AIP Conference Procedings (tom: International Conference of Computational Methods in Sciences and Engineering, strony: ), Wydawca: AIP Publishing
    Data:
    konferencja 26-29 October 2022
    Status:
    Published
    DOI:
    10.1063/5.0193168 - link to the publication
  5. Initial Verification of Liveness Property in the Control Part of Cyber-Physical Systems modelled by Petri nets
    Authors:
    Mateusz Popławski, Marcin Wojnakowski, Remigiusz Wiśniewski, Grzegorz Bazydło
    Conference:
    AIP Conference Procedings (tom: International Conference of Computational Methods in Sciences and Engineering, strony: ), Wydawca: AIP Publishing
    Data:
    konferencja 26-29 October 2022
    Status:
    Published
    DOI:
    10.1063/5.0193339 - link to the publication
  6. A polynomial-time algorithm for detecting potentially unbounded places in a Petri net-based concurrent system
    Authors:
    Marcin Wojnakowski, Remigiusz Wiśniewski, Mateusz Popławski
    Conference:
    Euro-Par 2023, Part II, LNCS 14352 (tom: 29th International European Conference on Parallel and Distributed Computing, strony: ), Wydawca: Springer Nature Switzerland
    Data:
    konferencja 28 August - 1 September 2023
    Status:
    Published
    DOI:
    10.1007/978-3-031-48803-0_32 - link to the publication
  7. Interpreted Petri Nets in Modelling and Analysis of Physical Resilient Manufacturing Systems
    Authors:
    Remigiusz Wiśniewski, Justyna Patalas-Maliszewska, Marcin Wojnakowski, Marcin Topczak
    Conference:
    International Conference on Systems, Man, and Cybernetics - IEEE SMC 2022 (tom: International Conference on Systems, Man, and Cybernetics, strony: 1096-1102), Wydawca: IEEE Xplore
    Data:
    konferencja 9-12 October 2022
    Status:
    Published
    DOI:
    10.1109/SMC53654.2022.9945341 - link to the publication
  8. A Deadlock Recovery Policy for Flexible Manufacturing Systems with Minimized Traversing within Reachability Graph
    Authors:
    Iwona Grobelna, Andrei Karatkevich
    Conference:
    21st International Symposium INFOTEH-JAHORINA (INFOTEH) (tom: International Symposium on INFOTEH-JAHORINA (INFOTEH), strony: ), Wydawca: IEEE
    Data:
    konferencja 16-18 March 2022
    Status:
    Published
    DOI:
    10.1109/INFOTEH53737.2022.9751283 - link to the publication
  9. Modelling of the effectiveness of integrating additive manufacturing technologies into Petri net-based manufacturing systems
    Authors:
    Justyna Patalas-Maliszewska, Remigiusz Wiśniewski, Marcin Topczak, Marcin Wojnakowski
    Conference:
    2022 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) (tom: International Conference on Fuzzy Systems, strony: ), Wydawca: IEEE
    Data:
    konferencja 18-23 July 2022
    Status:
    Published
    DOI:
    10.1109/FUZZ-IEEE55066.2022.9882766 - link to the publication
  10. Deadlock Recovery for Flexible Manufacturing Systems with Exhaustive Exploration of the Reachability Graph
    Authors:
    Iwona Grobelna, Andrei Karatkevich
    Conference:
    17th International Conference The experience of designing and application of CAD systems (tom: 17th International Conference on the Experience of Designing and Application of CAD Systems (CADSM), strony: ), Wydawca: IEEE Xplore
    Data:
    konferencja 22–25 February, 2023
    Status:
    Published
    DOI:
    10.1109/CADSM58174.2023.10076500 - link to the publication
  11. Analysis of Control Part of Cyber-Physical Systems Specified by Interpreted Petri Nets
    Authors:
    Marcin Wojnakowski, Mateusz Popławski, Grzegorz Bazydło, Remigiusz Wiśniewski
    Conference:
    International Conference on Systems, Man, and Cybernetics - IEEE SMC 2022 (tom: International Conference on Systems, Man, and Cybernetics, strony: 1090-1095), Wydawca: IEEE Xplore
    Data:
    konferencja 9-12 October 2022
    Status:
    Published
    DOI:
    10.1109/SMC53654.2022.9945425 - link to the publication
  12. Fast Verification of Petri Net-based Model of Industrial Decision-making Systems: A Case Study
    Authors:
    Remigiusz Wiśniewski, Justyna Patalas-Maliszewska, Marcin Wojnakowski, Marcin Topczak, Mengchu Zhou
    Conference:
    2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC) (tom: The 2023 IEEE Conference on Systems, Man, and Cybernetics, strony: 3316-3322), Wydawca: IEEE Xplore
    Data:
    konferencja 1-4 October 2023
    Status:
    Published
    DOI:
    10.1109/SMC53992.2023.10394156 - link to the publication
  13. Logical vs. Physical Time in Cyber-Physical Systems Specified by Interpreted Petri Nets
    Authors:
    Łukasz Sawicki, Iwona Grobelna, Piotr Mróz, Małgorzata Mazurkiewicz
    Conference:
    Proceedings of the 10th Prague Embedded Systems Workshop - PESW 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:
    Published
    DOI:
    link to the publication
  14. Hippo-CPS: A Tool for Verification and Analysis of Petri Net-based Cyber-Physical Systems
    Authors:
    Remigiusz Wiśniewski, Grzegorz Bazydło, Marcin Wojnakowski, Mateusz Popławski
    Conference:
    Application and Theory of Petri Nets and Concurrency (tom: International Conference on Application and Theory of Petri Nets and Concurrency, strony: 191-204), Wydawca: Springer
    Data:
    konferencja 25-30 June 2023
    Status:
    Published
    DOI:
    10.1007/978-3-031-33620-1_10 - link to the publication
  15. Safeness Analysis of Petri net-based Cyber-Physical Systems Based on the Linear Algebra and Parallel Reductions
    Authors:
    Marcin Wojnakowski, Mateusz Popławski, Remigiusz Wiśniewski, Grzegorz Bazydło
    Conference:
    International Conference of Computational Methods in Sciences and Engineering - 17th ICCMSE 2021 (tom: International Conference of Computational Methods in Sciences and Engineering, strony: 0700061-700064), Wydawca: AIP Publishing
    Data:
    konferencja 4-7 September 2021
    Status:
    Published
    DOI:
    10.1063/5.0119327 - link to the publication
  16. Reachability Tree in Liveness Analysis of Petri Net-based Cyber-Physical Systems
    Authors:
    Mateusz Popławski, Marcin Wojnakowski, Grzegorz Bazydło, Remigiusz Wiśniewski
    Conference:
    International Conference of Computational Methods in Sciences and Engineering - 17th ICCMSE 2021 (tom: International Conference of Computational Methods in Sciences and Engineering, strony: 0700071-0700074), Wydawca: AIP Publishing
    Data:
    konferencja 4-7 September 2021
    Status:
    Published
    DOI:
    10.1063/5.0119328 - link to the publication
  17. Model Checking of Concurrency in Cyber-Physical Systems Specified with Interpreted Petri Nets
    Authors:
    Iwona Grobelna
    Conference:
    2024 23rd International Symposium INFOTEH-JAHORINA (INFOTEH) (tom: International Symposium INFOTEH-JAHORINA (INFOTEH), strony: ), Wydawca: IEEE Xplore
    Data:
    konferencja 20-22 March 2024
    Status:
    Published
    DOI:
    10.1109/INFOTEH60418.2024.10495966 - link to the publication
  18. Safeness Analysis of Petri net-based Cyber-Physical Systems Based on the Linear Algebra and Parallel Reductions
    Authors:
    Marcin Wojnakowski, Mateusz Popławski, Remigiusz Wiśniewski, Grzegorz Bazydło
    Conference:
    Status:
    Accepted for publication
  19. Reachability Tree in Liveness Analysis of Petri Net-based Cyber-Physical Systems
    Authors:
    Mateusz Popławski, Marcin Wojnakowski, Grzegorz Bazydło, Remigiusz Wiśniewski
    Conference:
    Status:
    Accepted for publication
  20. A Deadlock Recovery Policy for Flexible Manufacturing Systems with Minimized Traversing within Reachability Graph
    Authors:
    Iwona Grobelna, Andrei Karatkevich
    Conference:
    Status:
    Accepted for publication
  21. Initial Verification of Liveness Property in the Control Part of Cyber-Physical Systems modelled by Petri nets
    Authors:
    Mateusz Popławski, Marcin Wojnakowski, Remigiusz Wiśniewski, Grzegorz Bazydło
    Conference:
    Status:
    Accepted for publication
  22. Bounded and Place Invariant-Covered Petri Nets for Cyber-Physical Systems Specification
    Authors:
    Marcin Wojnakowski, Remigiusz Wiśniewski, Mateusz Popławski
    Conference:
    Status:
    Accepted for publication
  1. Hippo-CPS: Verification of Boundedness, Safeness and Liveness of Petri net-based Cyber-Physical Systems
    Authors:
    Marcin Wojnakowski, Mateusz Popławski, Remigiusz Wiśniewski, Grzegorz Bazydło
    Book:
    Technological Innovation for Digitalization and Virtualization: 13th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (), Wydawca: Springer Nature Switzerland
    Data:
    konferencja 29 czerwca - 1 lipca 2022
    Status:
    Published
    DOI:
    10.1007/978-3-031-07520-9_7 - link to the publication
  2. Preliminary Verification of Liveness in a Control Part of Cyber-Physical Systems Modeled by a Petri Net
    Authors:
    Mateusz Popławski, Remigiusz Wiśniewski, Grzegorz Bazydło, Maxim Maliński
    Book:
    Technological Innovation for Connected Cyber Physical Spaces: 14th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (), Wydawca: Springer Nature Switzerland
    Data:
    konferencja 5-7 July
    Status:
    Published
    DOI:
    10.1007/978-3-031-36007-7_15 - link to the publication
  3. Verification of the Boundedness Property in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems
    Authors:
    Marcin Wojnakowski, Remigiusz Wiśniewski
    Book:
    Technological Innovation for Applied AI Systems: 12th IFIP WG 5.5 / SOCOLNET Advanced Doctoral AI Conference on Computing, Electrical and Industrial Systems (), Wydawca: Cham: Springer International Publishing
    Status:
    Published
    DOI:
    10.1007/978-3-030-78288-7 - link to the publication

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy