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_2: Computer systems, parallel/distributed systems, sensor networks, embedded systems, cyber-physical systems
  • ST6_4: Formal methods, foundations of computer science, including theoretical computer science, quantum algorithms
  • ST6_14: Other related subjects

Panel:

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

Host institution :

Uniwersytet Zielonogórski

woj.

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 (45)
  • Articles in post-conference publications (55)
  • Book publications / chapters in book publications (9)
  1. Design of Petri net-based Cyber-Physical Systems Oriented on the Implementation in Field Programmable Gate Arrays
    Authors:
    Remigiusz Wisniewski
    Academic press:
    Energies (rok: 2021, tom: 14(21), strony: 45682), 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 (rok: 2021, tom: 31, strony: 647-657), 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 (rok: 2022, tom: 11, strony: 45674), 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 (rok: 2022, tom: 12, strony: 45675), Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/app12094772 - link to the publication
  5. Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets
    Authors:
    Iwona Grobelna, Paweł Szcześniak
    Academic press:
    Sensors (rok: 2022, tom: 22, strony: 45675), Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/s22186936 - link to the publication
  6. Help students learn interpreted Petri nets with Minecraft
    Authors:
    Iwona Grobelna, Małgorzata Mazurkiewicz, Damian Janus
    Academic press:
    Informatics in Education (rok: 2022, ), Wydawca: Vilnius University, ETH Zürich
    Status:
    Published
    DOI:
    10.15388/infedu.2023.13 - link to the publication
  7. Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets
    Authors:
    Iwona Grobelna, Paweł Szcześniak
    Academic press:
    Sensors (rok: 2022, tom: 22, strony: 45675), Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/s22186936 - link to the publication
  8. 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 (rok: 2021, tom: 31, strony: 647-657), Wydawca: sciendo
    Status:
    Published
    DOI:
    10.34768/amcs-2021-0045 - link to the publication
  9. 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 (rok: 2023, tom: brak danych, strony: 45667), Wydawca: IEEE Xplore
    Status:
    Submitted
  10. Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets
    Authors:
    Remigiusz Wiśniewski, Iwona Grobelna, Andrei Karatkevich
    Academic press:
    Sensors (rok: 2020, tom: 20(19), strony: 45679), Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/s20195565 - link to the publication
  11. Help students learn interpreted Petri nets with Minecraft
    Authors:
    Iwona Grobelna, Małgorzata Mazurkiewicz, Damian Janus
    Academic press:
    Informatics in Education (rok: 2022, ), Wydawca: Vilnius University, ETH Zürich
    Status:
    Published
    DOI:
    10.15388/infedu.2023.13 - link to the publication
  12. Formal Verification of Control Modules in Cyber-Physical Systems
    Authors:
    Iwona Grobelna
    Academic press:
    Sensors (rok: 2020, tom: 20(18), strony: 45680), Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/s20185154 - link to the publication
  13. 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 (rok: 2023, tom: brak danych, strony: 45668), Wydawca: IEEE
    Status:
    Published
    DOI:
    10.1109/TASE.2023.3301304 - link to the publication
  14. Designing Reconfigurable Cyber-Physical Systems Using Unified Modeling Language
    Authors:
    Grzegorz Bazydło
    Academic press:
    Energies (rok: 2023, tom: 16, strony: 45678), Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/en16031273 - link to the publication
  15. 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 (rok: 2023, tom: 13, strony: 45672), Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/app13127137 - link to the publication
  16. 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 (rok: 2022, tom: 11, strony: 45674), Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/electronics11172760 - link to the publication
  17. Design of Petri net-based Cyber-Physical Systems Oriented on the Implementation in Field Programmable Gate Arrays
    Authors:
    Remigiusz Wisniewski
    Academic press:
    Energies (rok: 2021, tom: 14(21), strony: 45682), Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/en14217054 - link to the publication
  18. Design of Petri net-based Cyber-Physical Systems Oriented on the Implementation in Field Programmable Gate Arrays
    Authors:
    Remigiusz Wisniewski
    Academic press:
    Energies (rok: 2021, tom: 14(21), strony: 45682), Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/en14217054 - link to the publication
  19. 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 (rok: 2022, tom: 11, strony: 45674), Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/electronics11172760 - link to the publication
  20. Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets
    Authors:
    Remigiusz Wiśniewski, Iwona Grobelna, Andrei Karatkevich
    Academic press:
    Sensors (rok: 2020, tom: 20(19), strony: 45679), Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/s20195565 - link to the publication
  21. Help students learn interpreted Petri nets with Minecraft
    Authors:
    Iwona Grobelna, Małgorzata Mazurkiewicz, Damian Janus
    Academic press:
    Informatics in Education (rok: 2022, ), Wydawca: Vilnius University, ETH Zürich
    Status:
    Published
    DOI:
    10.15388/infedu.2023.13 - link to the publication
  22. Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets
    Authors:
    Remigiusz Wiśniewski, Iwona Grobelna, Andrei Karatkevich
    Academic press:
    Sensors (rok: 2020, tom: 20(19), strony: 45679), Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/s20195565 - link to the publication
  23. Formal Verification of Control Modules in Cyber-Physical Systems
    Authors:
    Iwona Grobelna
    Academic press:
    Sensors (rok: 2020, tom: 20(18), strony: 45680), Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/s20185154 - link to the publication
  24. 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 (rok: 2023, tom: 16, strony: 45676), Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/en16010067 - link to the publication
  25. 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 (rok: 2023, tom: 13, strony: 45672), Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/app13127137 - link to the publication
  26. Designing Reconfigurable Cyber-Physical Systems Using Unified Modeling Language
    Authors:
    Grzegorz Bazydło
    Academic press:
    Energies (rok: 2023, tom: 16, strony: 45678), Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/en16031273 - link to the publication
  27. 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 (rok: 2023, tom: 16, strony: 45676), Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/en16010067 - link to the publication
  28. 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 (rok: 2023, tom: brak danych, strony: 45668), Wydawca: IEEE
    Status:
    Published
    DOI:
    10.1109/TASE.2023.3301304 - link to the publication
  29. Designing Reconfigurable Cyber-Physical Systems Using Unified Modeling Language
    Authors:
    Grzegorz Bazydło
    Academic press:
    Energies (rok: 2023, tom: 16, strony: 45678), Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/en16031273 - link to the publication
  30. Formal Verification of Control Modules in Cyber-Physical Systems
    Authors:
    Iwona Grobelna
    Academic press:
    Sensors (rok: 2020, tom: 20(18), strony: 45680), Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/s20185154 - link to the publication
  31. 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 (rok: 2022, tom: 70, strony: 45667), Wydawca: Journals Polish Academy of Sciences
    Status:
    Published
    DOI:
    10.24425/bpasts.2022.140693 - link to the publication
  32. Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets
    Authors:
    Iwona Grobelna, Paweł Szcześniak
    Academic press:
    Sensors (rok: 2022, tom: 22, strony: 45675), Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/s22186936 - link to the publication
  33. 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 (rok: 2021, tom: 31, strony: 647-657), Wydawca: sciendo
    Status:
    Published
    DOI:
    10.34768/amcs-2021-0045 - link to the publication
  34. Formal Verification of Control Modules in Cyber-Physical Systems
    Authors:
    Iwona Grobelna
    Academic press:
    Sensors (rok: 2020, tom: 20(18), strony: 45680), Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/s20185154 - link to the publication
  35. Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets
    Authors:
    Remigiusz Wiśniewski, Iwona Grobelna, Andrei Karatkevich
    Academic press:
    Sensors (rok: 2020, tom: 20(19), strony: 45679), Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/s20195565 - link to the publication
  36. 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 (rok: 2022, tom: 70, strony: 45667), Wydawca: Journals Polish Academy of Sciences
    Status:
    Published
    DOI:
    10.24425/bpasts.2022.140693 - link to the publication
  37. Interpreted Petri Nets Applied to Autonomous Components within Electric Power Systems
    Authors:
    Iwona Grobelna, Paweł Szcześniak
    Academic press:
    Applied Sciences (rok: 2022, tom: 12, strony: 45675), Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/app12094772 - link to the publication
  38. 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
    Status:
    Accepted for publication
  39. Inspire students to learn interpreted Petri nets with Minecraft
    Authors:
    Iwona Grobelna, Małgorzata Mazurkiewicz, Damian Janus
    Academic press:
    Informatics in Education , Wydawca: Vilnius University Institute of Data Science and Digital Technologies
    Status:
    Submitted
  40. 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 (rok: 2024, tom: 14, strony: 5212), Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/app14125212 - link to the publication
  41. Interpreted Petri Nets Applied to Autonomous Components within Electric Power Systems
    Authors:
    Iwona Grobelna, Paweł Szcześniak
    Academic press:
    Applied Sciences (rok: 2022, tom: 12, strony: 45675), Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/app12094772 - link to the publication
  42. 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 (rok: 2023, tom: 16, strony: 45676), Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/en16010067 - link to the publication
  43. 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 (rok: 2022, tom: 70, strony: 45667), Wydawca: Journals Polish Academy of Sciences
    Status:
    Published
    DOI:
    10.24425/bpasts.2022.140693 - link to the publication
  44. 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 (rok: 2021, tom: 31, strony: 647-657), Wydawca: sciendo
    Status:
    Published
    DOI:
    10.34768/amcs-2021-0045 - link to the publication
  45. Design of Petri net-based Cyber-Physical Systems Oriented on the Implementation in Field Programmable Gate Arrays
    Authors:
    Remigiusz Wisniewski
    Academic press:
    Energies (rok: 2021, tom: 14(21), strony: 45682), Wydawca: MDPI
    Status:
    Published
    DOI:
    10.3390/en14217054 - 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 (rok: 2022, tom: International Conference on e-Learning in Industrial Electronics, strony: 45663), 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) (rok: 2023, tom: International Symposium INFOTEH-JAHORINA, strony: 45663), 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 (rok: 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. 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 (rok: 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
  5. 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 (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:
    Published
    DOI:
    10.1007/978-3-031-48803-0_32 - link to the publication
  6. 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) (rok: 2022, tom: International Symposium on INFOTEH-JAHORINA (INFOTEH), strony: 45663), Wydawca: IEEE
    Data:
    konferencja 16-18 March 2022
    Status:
    Published
    DOI:
    10.1109/INFOTEH53737.2022.9751283 - link to the publication
  7. Bounded and Place Invariant-Covered Petri Nets for Cyber-Physical Systems Specification
    Authors:
    Marcin Wojnakowski, Remigiusz Wiśniewski, Mateusz Popławski
    Conference:
    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:
    Accepted for publication
  8. 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 (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:
    Published
    DOI:
    10.1063/5.0119328 - link to the publication
  9. 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 (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:
    Published
    DOI:
    10.1063/5.0119327 - link to the publication
  10. 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:
    American Institute of Physics (AIP) Conference Proceedings (tom: ICCMSE 2021, strony: ), Wydawca: AIP
    Data:
    konferencja 4-7 września 2021
    Status:
    Accepted for publication
  11. 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:
    American Institute of Physics (AIP) Conference Proceedings (tom: ICCMSE 2021, strony: ), Wydawca: AIP
    Data:
    konferencja 4-7 września 2021
    Status:
    Accepted for publication
  12. 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 (tom: INFOTEH 2022, strony: ), Wydawca: IEEE
    Data:
    konferencja 16-18 marca 2022
    Status:
    Accepted for publication
  13. 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 (rok: 2024, tom: International Conference of Computational Methods in Sciences and Engineering, strony: 60001), Wydawca: AIP Publishing
    Data:
    konferencja 26-29 October 2022
    Status:
    Published
    DOI:
    10.1063/5.0193168 - link to the publication
  14. 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 (rok: 2024, tom: International Conference of Computational Methods in Sciences and Engineering, strony: 60002), Wydawca: AIP Publishing
    Data:
    konferencja 26-29 October 2022
    Status:
    Published
    DOI:
    10.1063/5.0193339 - link to the publication
  15. 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 (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:
    Published
    DOI:
    10.1007/978-3-031-48803-0_32 - link to the publication
  16. 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 (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:
    Published
    DOI:
    10.1007/978-3-031-33620-1_10 - link to the publication
  17. A Quick Heuristic Algorithm for Enforcing the Liveness of S3PR Petri Nets
    Authors:
    Andrei Karatkevich, Iwona Grobelna
    Conference:
    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:
    Published
    DOI:
    10.1109/INFOTEH57020.2023.10094203 - link to the publication
  18. 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 (rok: 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
  19. 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:
    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:
    Accepted for publication
  20. 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 (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:
    Accepted for publication
  21. 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) (rok: 2022, tom: International Symposium on INFOTEH-JAHORINA (INFOTEH), strony: 45663), Wydawca: IEEE
    Data:
    konferencja 16-18 March 2022
    Status:
    Published
    DOI:
    10.1109/INFOTEH53737.2022.9751283 - link to the publication
  22. 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 (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:
    Published
    DOI:
    link to the publication
  23. 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
    Conference:
    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:
    Submitted
  24. 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 (rok: 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
  25. 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) (rok: 2022, tom: International Symposium on INFOTEH-JAHORINA (INFOTEH), strony: 45663), Wydawca: IEEE
    Data:
    konferencja 16-18 March 2022
    Status:
    Published
    DOI:
    10.1109/INFOTEH53737.2022.9751283 - link to the publication
  26. 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) (rok: 2022, tom: International Conference on Fuzzy Systems, strony: 45666), Wydawca: IEEE
    Data:
    konferencja 18-23 July 2022
    Status:
    Published
    DOI:
    10.1109/FUZZ-IEEE55066.2022.9882766 - link to the publication
  27. 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 (rok: 2022, tom: International Conference on e-Learning in Industrial Electronics, strony: 45663), Wydawca: IEEE Xplore
    Data:
    konferencja 17-20 October 2022
    Status:
    Published
    DOI:
    10.1109/ICELIE55228.2022.9969438 - link to the publication
  28. 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 (rok: 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
  29. 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 (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:
    Published
    DOI:
    10.1063/5.0119327 - link to the publication
  30. 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 (rok: 2022, tom: International Conference on e-Learning in Industrial Electronics, strony: 45663), Wydawca: IEEE Xplore
    Data:
    konferencja 17-20 October 2022
    Status:
    Published
    DOI:
    10.1109/ICELIE55228.2022.9969438 - link to the publication
  31. 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 (rok: 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
  32. 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:
    IEEE World Congress on Computational Intelligence (tom: WCCI 2022, strony: ), Wydawca: IEEE
    Data:
    konferencja 18-23 lipca 2022
    Status:
    Submitted
  33. 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:
    International Conference on Computer-Aided Verification (tom: CAV 2022, strony: ), Wydawca: Springer
    Data:
    konferencja 7-10 sierpnia 2022
    Status:
    Submitted
  34. A Process-Oriented Deadlock Recovery Policy for Flexible Manufacturing Systems
    Authors:
    Andrei Karatkevich, Iwona Grobelna
    Conference:
    28th International European Conference on Parallel and Distributed (tom: Euro-Par 2022, strony: )
    Data:
    konferencja 24-26 sierpnia 2022
    Status:
    Submitted
  35. 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 (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:
    Published
    DOI:
    10.1109/CADSM58174.2023.10076500 - link to the publication
  36. 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 (rok: 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
  37. 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) (rok: 2022, tom: International Conference on Fuzzy Systems, strony: 45666), Wydawca: IEEE
    Data:
    konferencja 18-23 July 2022
    Status:
    Published
    DOI:
    10.1109/FUZZ-IEEE55066.2022.9882766 - link to the publication
  38. 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 (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:
    Published
    DOI:
    10.1063/5.0119328 - link to the publication
  39. 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 (rok: 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
  40. A Petri-Net based decision model of a supply chains driven by AM technology - a case study
    Authors:
    Justyna Patalas-Maliszewska, Remigiusz Wiśniewski, Marcin Topczak, Marcin Wojnakowski
    Conference:
    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:
    Submitted
  41. 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 (rok: 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
  42. 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) (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:
    Published
    DOI:
    10.1109/SMC53992.2023.10394156 - link to the publication
  43. 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 (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:
    Published
    DOI:
    link to the publication
  44. 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 (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:
    Published
    DOI:
    10.1007/978-3-031-33620-1_10 - link to the publication
  45. 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 (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:
    Published
    DOI:
    10.1063/5.0119327 - link to the publication
  46. 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 (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:
    Published
    DOI:
    10.1063/5.0119328 - link to the publication
  47. Model Checking of Concurrency in Cyber-Physical Systems Specified with Interpreted Petri Nets
    Authors:
    Iwona Grobelna
    Conference:
    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:
    Published
    DOI:
    10.1109/INFOTEH60418.2024.10495966 - link to the publication
  48. 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 (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:
    Published
    DOI:
    10.1109/CADSM58174.2023.10076500 - link to the publication
  49. 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:
    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:
    Accepted for publication
  50. Bounded and Place Invariant-Covered Petri Nets for Cyber-Physical Systems Specification
    Authors:
    Marcin Wojnakowski, Remigiusz Wiśniewski, Mateusz Popławski
    Conference:
    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:
    Accepted for publication
  51. 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 (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:
    Published
    DOI:
    link to the publication
  52. 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) (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:
    Published
    DOI:
    10.1109/SMC53992.2023.10394156 - link to the publication
  53. 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 (rok: 2023, tom: CADSM, strony: 45662), Wydawca: IEEE Xplore
    Data:
    konferencja 22–25 February, 2023
    Status:
    Accepted for publication
  54. A Quick Heuristic Algorithm for Enforcing the Liveness of S3PR Petri Nets
    Authors:
    Andrei Karatkevich, Iwona Grobelna
    Conference:
    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:
    Accepted for publication
  55. 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) (rok: 2022, tom: International Conference on Fuzzy Systems, strony: 45666), Wydawca: IEEE
    Data:
    konferencja 18-23 July 2022
    Status:
    Published
    DOI:
    10.1109/FUZZ-IEEE55066.2022.9882766 - link to the 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 (rok: 2022, tom: 649, strony: 74-82), 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 (rok: 2023, tom: 678, strony: 205-215), 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. 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 (rok: 2022, tom: 649, strony: 74-82), 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
  4. 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 (rok: 2023, tom: 678, strony: 205-215), Wydawca: Springer Nature Switzerland
    Data:
    konferencja 5-7 July
    Status:
    Published
    DOI:
    10.1007/978-3-031-36007-7_15 - link to the publication
  5. 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 (rok: 2022, tom: 649, strony: 74-82), 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
  6. 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 (rok: 2021, tom: 626, strony: 83-91), Wydawca: Cham: Springer International Publishing
    Status:
    Published
    DOI:
    10.1007/978-3-030-78288-7 - link to the publication
  7. 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 (rok: 2021, tom: 626, strony: 83-91), Wydawca: Cham: Springer International Publishing
    Status:
    Published
    DOI:
    10.1007/978-3-030-78288-7 - link to the publication
  8. 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 (rok: 2021, tom: 626, strony: 83-91), Wydawca: Cham: Springer International Publishing
    Status:
    Published
    DOI:
    10.1007/978-3-030-78288-7 - link to the publication
  9. 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 (rok: 2021, tom: 626, strony: 83-91), 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