27 pozycji bibliograficznych
17 pozycji bibliograficznych za ostatnie 4 pełne lata
Uwagi
Oznaczona kolorami punktacja za osiągnięcia dotyczy publikacji za lata [2017 - 2018] oraz [2019 - 2021]
[A] [B] gdzie:
A - Wartość punktowa udziału jednostkowego autora
B - Udział jednostkowy autora
Pokazana punktacja bierze pod uwagę dyscyplinę podstawową współautorów.
Gwiazdka (*) przy nazwisku autora z UZ oznacza, że w danej publikacji podano inną niż UZ afiliację tego autora.
Znak (#) w opisie bibliograficznym oznacza, że publikacja wydana jest przez wydawcę z listy ministerialnej lub dotyczy konferencji z listy ministerialnej.
JIF: Journal Impact Factor (dana wyświetlana tylko z poziomu LAN UZ)
2. Rozdziały w monografiach, podręcznikach, skryptach, publikacje konferencyjne w wydawnictwach książkowych (Rozdziały w wydawnictwach zwartych) (WZ-ROZ)
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-W1BibTeX
(pkt. 20)
[WZCZ-23881] [data modyf. 12-09-2024 11:08]
[5.8] [0.29]
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-W1BibTeX
(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-W1BibTeX
(pkt. 20)
DOI: 10.1007/978-3-030-78288-7
2. 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-WYKAZBibTeX
(pkt. 100)
DOI: 10.3390/app14125212
Open Access: Licence: CC-BY, Article mode: OPEN_JOURNAL, Release time: AT_PUBLICATION, Text version: FINAL_PUBLISHED, Date of publication: 12-06-2024
[AWCZ-35243] [data modyf. 18-09-2024 09:39]
[50] [0.5]
3. 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-WYKAZBibTeX
(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
[AWCZ-34220] [data modyf. 12-09-2024 11:10]
[50] [0.5]
4. 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-WYKAZBibTeX
(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
[AWCZ-33681] [data modyf. 22-12-2022 09:25]
[70] [0.5]
5. 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, 1--11, ISSN: 1545-5955,
bibliogr.
summ.
- [Early Access]
Słowa kluczowe: Analytical models, Biological system modeling, Decision making, Manufacturing, Pandemics, Petri nets, Production
Kod: CZR-N-WYKAZBibTeX
(pkt. 140)
DOI: 10.1109/TASE.2023.3301304
6. 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-WYKAZBibTeX
(pkt. 100)
DOI: 10.24425/bpasts.2022.140693
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
[AWCZ-32194] [data modyf. 23-08-2023 06:35]
[33.33] [0.33]
8. 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-WYKAZBibTeX
(pkt. 70)
DOI: 10.1016/j.sysarc.2019.01.015
Open Access: Licence: CC-BY, Article mode: OPEN_JOURNAL, Release time: AFTER_PUBLICATION, Text version: FINAL_PUBLISHED, Date of publication: 02-09-2019
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
[AWCZ-23665] [data modyf. 20-06-2022 14:59]
5. Materiały konferencyjne (KONF)
1. 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-ANGBibTeX
(pkt. 140)
DOI: 10.1007/978-3-031-48803-0_32
2. 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-ANGBibTeX
(pkt. 0)
DOI: 10.1063/5.0193168
4. 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-ANGBibTeX
(pkt. 0)
DOI: 10.1063/5.0193168
[KONF-24274] [data modyf. 18-06-2024 12:41]
5. 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-ANGBibTeX
(pkt. 70)
DOI: 10.1007/978-3-031-33620-1_10
8. 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-ANGBibTeX
(pkt. 140)
DOI: 10.1109/FUZZ-IEEE55066.2022.9882766
9. 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-ANGBibTeX
(pkt. 0)
DOI: 10.1063/5.0119328
10. 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-ANGBibTeX
(pkt. 0)
DOI: 10.1063/5.0119327
11. 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-ANGBibTeX
(pkt. 0)
DOI: 10.1109/IECON.2019.8926692
13. 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-WoSBibTeX
(pkt. 15)
DOI: 10.1063/1.5079142
14. 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-WoSBibTeX
(pkt. 15)
DOI: 10.1063/1.5079138
