PERS - System Informacji o Pracownikach

1. Analysis of Boundedness and Safeness in a Petri Net-Based Specification of Concurrent Control Systems, 2025, Marcin Wojnakowski , Singapore: Bentham Science Publishers, s. 153, , ISBN: 9789815322712, bibliogr. https://www.eurekaselect.com/ebook_volume/3899 - [DOI: 10.2174/97898153227051250101] nieaktywne
Kod: MON-INNE BibTeX (pkt. 20)

1. Transition Invariants in the Analysis of Concurrent Systems Modelled by Petri Nets, 2024, Maxim Maliński , Marcin Wojnakowski , Remigiusz Wiśniewski , Andrzej Obuchowicz , W: Technological Innovation for Human-Centric Systems: 15th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2024, Caparica, Portugal, July 3-5, 2024, Proceedings, 2024 , (Red.) L. M. Camarinha-Matos, F. Ferrada , Cham: Springer Link (#), (IFIP Advances in Information and Communication Technology, 716), s. 269--279, ISBN: 9783031638510 https://link.springer.com/chapter/10.1007/978-3-031-63851-0_19
Kod: MOR-W1 BibTeX (pkt. 20)

2. Hippo-CPS: Verification of Boundedness, Safeness and Liveness of Petri Net-Based Cyber-Physical Systems, 2022, Marcin Wojnakowski , Mateusz Popławski , Remigiusz Wiśniewski , Grzegorz Bazydło , W: Technological Innovation for Digitalization and Virtualization: 13th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2022, 2022 , (Red.) Luis M. Camarinha-Matos / ed.L. M. Camarinha-Matos, Cham: Springer Nature Switzerland (#), (IFIP Advances in Information and Communication Technology, 649), s. 74--82, ISBN: 9783031075209
Kod: MOR-W1 BibTeX (pkt. 20) DOI: 10.1007/978-3-031-07520-9_7

3. Verification of the Boundedness Property in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems, 2021, Marcin Wojnakowski , Remigiusz Wiśniewski , W: Technological Innovation for Applied AI Systems: 12th IFIP WG 5.5 / SOCOLNET Advanced Doctoral AI Conference on Computing, Electrical and Industrial Systems, DoCEIS 2021 : conference proceedings, 2021 / ed. L. M. Camarinha-Matos, P. Ferreira, G. Brito, Cham: Springer International Publishing (#), (IFIP Advances in Information and Communication Technology, 626), s. 83--91, ISBN: 978303078287
Kod: MOR-W1 BibTeX (pkt. 20) DOI: 10.1007/978-3-030-78288-7

1. A Polynomial-Time Algorithm for Detection of Uncovered Transitions in a Petri Net-Based Concurrent System, 2025, Marcin Wojnakowski , Maxim Maliński , Remigiusz Wiśniewski , Andrzej Obuchowicz , Zhiwu Li , Dawid Konarczak , Applied Sciences (Switzerland), Vol. 15, iss. 2, art. 680, 1--20, eISSN: 2076-3417, bibliogr. rys. tab. wykr. summ.
Słowa kluczowe: Petri nets, concurrent systems, preliminary verification, transition invariants, uncovered transitions
Kod: CZR-N-WYKAZ BibTeX (pkt. 100) DOI: 10.3390/app15020680

Open Access: Licence: CC-BY, Article mode: OPEN_JOURNAL, Release time: AT_PUBLICATION, Text version: FINAL_PUBLISHED, Date of publication: 11-01-2025

2. Applying additive manufacturing technologies into supply chain: a Petri net-based decision model, 2024, Justyna Patalas-Maliszewska , Remigiusz Wiśniewski , MengChu Zhou , Marcin Topczak , Marcin Wojnakowski , International Journal of Applied Mathematics and Computer Science, Vol. 34, no. 3, 513--525, ISSN: 1641-876X, bibliogr. summ.
Słowa kluczowe: Petri net, additive manufacturing technology, decision support system, reliability, robustness, supply chain, verification
Kod: CZR-N-WYKAZ BibTeX (pkt. 100) DOI: 10.61822/amcs-2024-0035

Open Access: Licence: CC-BY, Article mode: OPEN_JOURNAL, Release time: AFTER_PUBLICATION, Text version: FINAL_PUBLISHED, Date of publication: 01-10-2024

3. Design and Optimization of a Petri Net-Based Concurrent Control System Toward Reduction of the Resources in an FPGA, 2024, Remigiusz Wiśniewski , Adam Opara , Marcin Wojnakowski , Applied Sciences (Switzerland), Vol. 14, iss. 12, art. 5212, 1--36, eISSN: 2076-3417, bibliogr. il. rys. tab. wykr. summ.
Kod: CZR-N-WYKAZ BibTeX (pkt. 100) DOI: 10.3390/app14125212

Open Access: Licence: CC-BY, Article mode: OPEN_JOURNAL, Release time: AFTER_PUBLICATION, Text version: FINAL_PUBLISHED, Date of publication: 15-06-2024

4. Decomposition of a Petri net-based Cyber-Physical System Toward Implementation as an Integrated System within FPGA, 2023, Remigiusz Wiśniewski , Anico Costa , Marcin Wojnakowski , Maxim Maliński , Applied Sciences (Switzerland), Vol. 13, iss. 12, 1--15, eISSN: 2076-3417, bibliogr. rys. tab. summ.
Słowa kluczowe: FPGA, Petri nets, cyber-physical system, decomposition, integrated system
Kod: CZR-N-WYKAZ BibTeX (pkt. 100) DOI: 10.3390/app13127137

Open Access: Licence: CC-BY, Article mode: OPEN_JOURNAL, Release time: AFTER_PUBLICATION, Text version: FINAL_PUBLISHED, Date of publication: 14-06-2023

5. Design and Verification of Petri Net-Based Cyber-Physical Systems Oriented Toward Implementation in Field Programmable Gate Arrays - a Case Study Example, 2023, Remigiusz Wiśniewski , Marcin Wojnakowski , Zhiwu Li , Energies, Vol. 16, iss. 1, 1--19, ISSN: 1996-1073, bibliogr. rys. tab. summ.
Słowa kluczowe: FPGA, boundedness, error detection, modelling, real-life CPS, verification
Kod: CZR-N-WYKAZ BibTeX (pkt. 140) DOI: 10.3390/en16010067

Open Access: Licence: CC-BY, Article mode: OPEN_JOURNAL, Release time: AFTER_PUBLICATION, Text version: FINAL_PUBLISHED, Date of publication: 21-12-2022

6. Modelling and Analysis of a Petri net-based System Supporting Implementation of Additive Manufacturing Technologies, 2023, Remigiusz Wiśniewski , Justyna Patalas-Maliszewska , Marcin Wojnakowski , Marcin Topczak , IEEE Transactions on Automation Science and Engineering, Vol. 22, 546--556, ISSN: 1545-5955, bibliogr. summ.
Słowa kluczowe: Analytical models, Biological system modeling, Decision making, Manufacturing, Pandemics, Petri nets, Production
Kod: CZR-N-WYKAZ BibTeX (pkt. 140) DOI: 10.1109/TASE.2023.3301304

7. Design Optimization of the Petri Net-based Production Process Supported by Additive Manufacturing Technologies, 2022, Justyna Patalas-Maliszewska , Remigiusz Wiśniewski , Marcin Topczak , Marcin Wojnakowski , Bulletin of the Polish Academy of Sciences: Technical Sciences, Vol. 70, no. 2, art. e140693, 1--10, ISSN: 0239-7528, eISSN: 2300-1917, bibliogr. rys. tab. summ.
Słowa kluczowe: Petri nets, additive manufacturing technology, , manufacturing processes, optimization, process modelling, validation, verification
Kod: CZR-N-WYKAZ BibTeX (pkt. 100) DOI: 10.24425/bpasts.2022.140693

8. Analysis of Safeness in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems, 2021, Marcin Wojnakowski , Remigiusz Wiśniewski , Grzegorz Bazydło , Mateusz Popławski , International Journal of Applied Mathematics and Computer Science, Vol. 31, no.4, 647--657, ISSN: 1641-876X, bibliogr. summ.
Kod: CZR-N-WYKAZ BibTeX (pkt. 100) DOI: 10.34768/amcs-2021-0045

Open Access: Licence: CC-BY-NC-ND, Article mode: OPEN_JOURNAL, Release time: AT_PUBLICATION, Text version: FINAL_PUBLISHED, Date of publication: 27-12-2021

9. Decomposition of Distributed Edge Systems Based on the Petri Nets and Linear Algebra Technique, 2019, Remigiusz Wiśniewski , Andrei Karatkevich , Łukasz Stefanowicz , Marcin Wojnakowski , Journal of Systems Architecture, Vol. 96, 20--31, ISSN: 1383-7621, bibliogr. rys. tab. summ.
Słowa kluczowe: Decomposition, Distributed system, Edge computing, Petri net
Kod: CZR-N-WYKAZ BibTeX (pkt. 70) DOI: 10.1016/j.sysarc.2019.01.015

10. Design and Verification of Cyber-Physical Systems Specified by Petri Nets-A Case Study of a Direct Matrix Converter, 2019, Remigiusz Wiśniewski , Grzegorz Bazydło , Paweł Szcześniak , Iwona Grobelna , Marcin Wojnakowski , Mathematics, Vol. 7, 1--24, eISSN: 2227-7390, bibliogr. rys. tab. summ.
Słowa kluczowe: Petri net, SVM, cyber-physical system, design, direct matrix converter, verification
Kod: CZR-N-WYKAZ BibTeX (pkt. 20) DOI: 10.3390/math7090812

Open Access: Licence: CC-BY, Article mode: OPEN_JOURNAL, Release time: AFTER_PUBLICATION, Text version: FINAL_PUBLISHED, Date of publication: 02-09-2019

11. Petri net-based specification of cyber-physical systems oriented to control direct matrix converters with space vector modulation, 2019, Remigiusz Wiśniewski , Grzegorz Bazydło , Paweł Szcześniak , Marcin Wojnakowski , IEEE Access, Vol. 7, 23407--23420, ISSN: 2169-3536, bibliogr. rys. tab. summ.
Słowa kluczowe: FPGA, Petri net, SVM, Verilog, concurrency, cyber-physical system, matrix converter
Kod: CZR-N-WYKAZ BibTeX (pkt. 100) DOI: 10.1109/ACCESS.2019.2899316

Open Access: Licence: CC-BY-NC-ND, Article mode: OPEN_JOURNAL, Release time: AFTER_PUBLICATION, Text version: FINAL_PUBLISHED, Date of publication: 15-02-2019

1. Efficiency and Effectiveness Analysis of Invariant Coverage Verification Methods for Petri net-based Concurrent Systems, 2025, Marcin Wojnakowski , Remigiusz Wiśniewski , Mi Zhou , Ziwu Li , Maxim Maliński , Andrzej Obuchowicz , Dawid Konarczak , W:2025 IEEE International Conference on Systems, Man, and Cybernetics (SMC) (#), Wiedeń, Austria, -: IEEE, 2025, s. 1180--1186, ISBN: 9798331533571, https://www.ieeesmc2025.org/
Kod: KON-ANG BibTeX (pkt. 70)

2. A polynomial-time algorithm for detecting potentially unbounded places in a Petri net-based concurrent system, 2023, Marcin Wojnakowski , Remigiusz Wiśniewski , Mateusz Popławski , W:29th International European Conference on Parallel and Distributed Computing - Euro-Par (#), Limassol, Cypr, Cham: Springer Nature Switzerland, 2024, s. 277--283, ISBN: 9783031488030, https://2023.euro-par.org/ - Lecture Notes in Computer Sience, Vol. 14352 part.II ; Euro-Par 2023: Parallel Processing Workshops
Kod: KON-ANG BibTeX (pkt. 140) DOI: 10.1007/978-3-031-48803-0_32

3. Bounded and place invariant-covered Petri nets for cyber-physical systems specification, 2022, Marcin Wojnakowski , Remigiusz Wiśniewski , Mateusz Popławski , W:International Conference of Computational Methods in Sciences and Engineering - ICCMSE 2022, Heraklion, Grecja, -, 2024, AIP Conference Procedings, VOL. 3030, s. 060001-1--4, - (ISSN 0094-243X)
Kod: KON-ANG BibTeX (pkt. 0) DOI: 10.1063/5.0193168

4. Fast Verification of Petri Net-based Model of Industrial Decision-making Systems: A Case Study, 2023, Remigiusz Wiśniewski , Justyna Patalas-Maliszewska , Marcin Wojnakowski , Marcin Topczak , MengChu Zhou , W:IEEE International Conference on Systems, Man, and Cybernetics - IEEE SMC 2023 (#), Honolulu, Stany Zjednoczone, New York: IEEE Xplore, 2024, s. 3316--3322, 10.1109/SMC53992.2023.10394156
Kod: KON-ANG BibTeX (pkt. 70)

5. Initial verification of liveness property in the control part of cyber-physical systems modelled by Petri nets,, 2022, Mateusz Popławski , Marcin Wojnakowski , Remigiusz Wiśniewski , Grzegorz Bazydło , W:International Conference of Computational Methods in Sciences and Engineering - ICCMSE 2022, Heraklion, Grecja, -, 2024, AIP Conference Procedings, VOL. 3030, s. 1--5, - (ISSN 0094-243X)
Kod: KON-ANG BibTeX (pkt. 0) DOI: 10.1063/5.0193339

6. Hippo-CPS: A Tool for Verification and Analysis of Petri Net-based Cyber-Physical Systems, 2023, Remigiusz Wiśniewski , Grzegorz Bazydło , Marcin Wojnakowski , Mateusz Popławski , W:44th International Conference On Application And Theory of Petri Nets and Concurrency - Petri Nets 2023 (#), Lisbon, Portugalia, Cham: Springer Nature Switzerland, 2023, Lecture Notes in Computer Science, 13929, s. 191--204, ISBN: 9783031336195,
Słowa kluczowe: Analysis, Boundedness, Cyber-physical system, Invariants, Liveness, Petri net, Reachability tree, Safety, Verification
Kod: KON-ANG BibTeX (pkt. 70) DOI: 10.1007/978-3-031-33620-1_10

7. Analysis of Control Part of Cyber-Physical Systems Specified by Interpreted Petri Nets, 2022, Marcin Wojnakowski , Mateusz Popławski , Grzegorz Bazydło , Remigiusz Wiśniewski , W:International Conference on Systems, Man, and Cybernetics - IEEE SMC 2022 (#), Prague, Czechy, New York: IEEE Xplore, 2022, s. 1090--1095, ISBN: 9781665452588,
Kod: KON-ANG BibTeX (pkt. 70) DOI: 10.1109/SMC53654.2022.9945425

8. Interpreted Petri Nets in Modelling and Analysis of Physical Resilient Manufacturing Systems, 2022, Remigiusz Wiśniewski , Justyna Patalas-Maliszewska , Marcin Wojnakowski , Marcin Topczak , W:International Conference on Systems, Man, and Cybernetics - IEEE SMC 2022 (#), Prague, Czechy, New York: IEEE Xplore, 2022, s. 1096--1102, ISBN: 9781665452588,
Kod: KON-ANG BibTeX (pkt. 70) DOI: 10.1109/SMC53654.2022.9945341

9. Modelling of the effectiveness of integrating additive manufacturing technologies into Petri net-based manufacturing systems, 2022, Justyna Patalas-Maliszewska , Remigiusz Wiśniewski , Marcin Topczak , Marcin Wojnakowski , W:2022 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) (#), Padova, Włochy, --: IEEE, 2022, s. 1--9, ISBN: 9781665467100,
Słowa kluczowe: AM Technologies, Manufacturing Systems, Petri Nets, effectiveness, linear algebra
Kod: KON-ANG BibTeX (pkt. 140) DOI: 10.1109/FUZZ-IEEE55066.2022.9882766

10. Reachability Tree in Liveness Analysis of Petri Net-based Cyber-Physical Systems, 2021, Mateusz Popławski , Marcin Wojnakowski , Grzegorz Bazydło , Remigiusz Wiśniewski , W:International Conference of Computational Methods in Sciences and Engineering - 17th ICCMSE 2021, Heraklion, Grecja, Melville, New York: AIP Publishing, 2022, AIP Conference Proceedings, Vol. 2611, iss.1, s. 0700071--0700074,
Kod: KON-ANG BibTeX (pkt. 0) DOI: 10.1063/5.0119328

11. Safeness Analysis of Petri net-based Cyber-Physical Systems Based on the Linear Algebra and Parallel Reductions, 2021, Marcin Wojnakowski , Mateusz Popławski , Remigiusz Wiśniewski , Grzegorz Bazydło , W:International Conference of Computational Methods in Sciences and Engineering - 17th ICCMSE 2021, Heraklion, Grecja, Melville, New York: AIP Publishing, 2022, AIP Conference Proceedings, Vol. 2611, iss.1, s. 0700061--700064,
Kod: KON-ANG BibTeX (pkt. 0) DOI: 10.1063/5.0119327

12. Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools, 2019, Remigiusz Wiśniewski , Grzegorz Bazydło , Luis Gomes , Anico Costa , Marcin Wojnakowski , W:45th Annual Conference of the IEEE Industrial Electronics Society - IECON 2019, Lisbon, Portugalia, New York: IEEE Xplore, 2019, s. 5843--5848, ISBN: 9781728148786,
Kod: KON-ANG BibTeX (pkt. 0) DOI: 10.1109/IECON.2019.8926692

13. Specification of Cyber-Physical Systems with the Application of Interpreted Nets, 2019, Iwona Grobelna , Remigiusz Wiśniewski , Marcin Wojnakowski , W:45th Annual Conference of the IEEE Industrial Electronics Society - IECON 2019, Lisbon, Portugalia, New York: IEEE Xplore, 2019, s. 5887--5891, ISBN: 9781728148786,
Kod: KON-ANG BibTeX (pkt. 0) DOI: 10.1109/IECON.2019.8926908

14. Safety Analysis of Petri Nets Based on the SM-Cover Computed with the Linear Algebra Technique, 2018, Remigiusz Wiśniewski , Marcin Wojnakowski , Łukasz Stefanowicz , W:International Conference of Computational Methods in Sciences and Engineering - ICCMSE 2018, Thessaloniki, Grecja, New York: AIP Publishing, 2018, AIP Conference Proceedings, Vol. 2040, s. 1--5,
Słowa kluczowe: Safeness of Petri nets, linear algebra, place invariants, state machine components cover
Kod: KON-WoS BibTeX (pkt. 15) DOI: 10.1063/1.5079142

15. The Use of UML and Petri Net for Graphic Specification of the Reconfigurable Logic Controllers, 2018, Grzegorz Bazydło , Marcin Wojnakowski , Remigiusz Wiśniewski , W:International Conference of Computational Methods in Sciences and Engineering - ICCMSE 2018, Thessaloniki, Grecja, New York: AIP Publishing, 2018, AIP Conference Proceedings, Vol. 2040, s. 1--5,
Kod: KON-WoS BibTeX (pkt. 15) DOI: 10.1063/1.5079138