Search

Your search keyword '"Wiśniewski, Remigiusz"' showing total 150 results
Start Over Author "Wiśniewski, Remigiusz"
150 results on '"Wiśniewski, Remigiusz"'

1. Transition Invariants in the Analysis of Concurrent Systems Modelled by Petri Nets

Author

Maliński, Maxim, Wojnakowski, Marcin, Wiśniewski, Remigiusz, Obuchowicz, Andrzej, Rannenberg, Kai, Editor-in-Chief, Soares Barbosa, Luís, Editorial Board Member, Carette, Jacques, Editorial Board Member, Tatnall, Arthur, Editorial Board Member, Neuhold, Erich J., Editorial Board Member, Stiller, Burkhard, Editorial Board Member, Stettner, Lukasz, Editorial Board Member, Pries-Heje, Jan, Editorial Board Member, Kreps, David, Editorial Board Member, Rettberg, Achim, Editorial Board Member, Furnell, Steven, Editorial Board Member, Mercier-Laurent, Eunika, Editorial Board Member, Winckler, Marco, Editorial Board Member, Malaka, Rainer, Editorial Board Member, Camarinha-Matos, Luis M., editor, and Ferrada, Filipa, editor

Published
2024
Full Text
View/download PDF

2. A Polynomial-Time Algorithm for Detecting Potentially Unbounded Places in a Petri Net-Based Concurrent System

Author

Wojnakowski, Marcin, Wiśniewski, Remigiusz, Popławski, Mateusz, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Zeinalipour, Demetris, editor, Blanco Heras, Dora, editor, Pallis, George, editor, Herodotou, Herodotos, editor, Trihinas, Demetris, editor, Balouek, Daniel, editor, Diehl, Patrick, editor, Cojean, Terry, editor, Fürlinger, Karl, editor, Kirkeby, Maja Hanne, editor, Nardelli, Matteo, editor, and Di Sanzo, Pierangelo, editor

Published
2024
Full Text
View/download PDF

3. Preliminary Verification of Liveness in a Control Part of Cyber-Physical Systems Modeled by a Petri Net

Author

Popławski, Mateusz, Wiśniewski, Remigiusz, Bazydło, Grzegorz, Maliński, Maxim, Rannenberg, Kai, Editor-in-Chief, Soares Barbosa, Luís, Editorial Board Member, Goedicke, Michael, Editorial Board Member, Tatnall, Arthur, Editorial Board Member, Neuhold, Erich J., Editorial Board Member, Stiller, Burkhard, Editorial Board Member, Stettner, Lukasz, Editorial Board Member, Pries-Heje, Jan, Editorial Board Member, Kreps, David, Editorial Board Member, Rettberg, Achim, Editorial Board Member, Furnell, Steven, Editorial Board Member, Mercier-Laurent, Eunika, Editorial Board Member, Winckler, Marco, Editorial Board Member, Malaka, Rainer, Editorial Board Member, Camarinha-Matos, Luis M., editor, and Ferrada, Filipa, editor

Published
2023
Full Text
View/download PDF

6. Hippo-CPS: Verification of Boundedness, Safeness and Liveness of Petri Net-Based Cyber-Physical Systems

Author

Wojnakowski, Marcin, Popławski, Mateusz, Wiśniewski, Remigiusz, Bazydło, Grzegorz, Rannenberg, Kai, Editor-in-Chief, Soares Barbosa, Luís, Editorial Board Member, Goedicke, Michael, Editorial Board Member, Tatnall, Arthur, Editorial Board Member, Neuhold, Erich J., Editorial Board Member, Stiller, Burkhard, Editorial Board Member, Tröltzsch, Fredi, Editorial Board Member, Pries-Heje, Jan, Editorial Board Member, Kreps, David, Editorial Board Member, Reis, Ricardo, Editorial Board Member, Furnell, Steven, Editorial Board Member, Mercier-Laurent, Eunika, Editorial Board Member, Winckler, Marco, Editorial Board Member, Malaka, Rainer, Editorial Board Member, and Camarinha-Matos, Luis M., editor

Published
2022
Full Text
View/download PDF

7. Verification of the Boundedness Property in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems

Author

Wojnakowski, Marcin, Wiśniewski, Remigiusz, Rannenberg, Kai, Editor-in-Chief, Soares Barbosa, Luís, Editorial Board Member, Goedicke, Michael, Editorial Board Member, Tatnall, Arthur, Editorial Board Member, Neuhold, Erich J., Editorial Board Member, Stiller, Burkhard, Editorial Board Member, Tröltzsch, Fredi, Editorial Board Member, Pries-Heje, Jan, Editorial Board Member, Kreps, David, Editorial Board Member, Reis, Ricardo, Editorial Board Member, Furnell, Steven, Editorial Board Member, Mercier-Laurent, Eunika, Editorial Board Member, Winckler, Marco, Editorial Board Member, Malaka, Rainer, Editorial Board Member, Camarinha-Matos, Luis M., editor, Ferreira, Pedro, editor, and Brito, Guilherme, editor

Published
2021
Full Text
View/download PDF

8. Analysis of Safeness in a Petri Net–Based Specification of the Control Part of Cyber–Physical Systems

Author

Wojnakowski Marcin, Wiśniewski Remigiusz, Bazydło Grzegorz, and Popławski Mateusz

Subjects
safeness, control part of the cyber-physical system, petri net, state machine cover, place invariant, Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
Abstract

The paper proposes an algorithm for safeness verification of a Petri net-based specification of the control part of cyber-physical systems. The method involves a linear algebra technique and is based on the computation of the state machine cover of a Petri net. Contrary to the well-known methods, the presented idea does not require obtaining all sequential components, nor the computation of all reachable states in the system. The efficiency and effectiveness of the proposed method have been verified experimentally with a set of 243 test modules (Petri net-based systems). The results of experiments show high efficiency of the proposed method since a solution has been found even for such nets where popular techniques are not able to analyze the safeness of the system. Finally, the presented algorithm is explained in detail using a real-life case-study example of the control part of a cyber-physical system.

Published
2021
Full Text
View/download PDF

12. Design and Optimization of a Petri Net-Based Concurrent Control System toward a Reduction in the Resources in a Field-Programmable Gate Array.

Author

Wiśniewski, Remigiusz, Opara, Adam, and Wojnakowski, Marcin

Subjects
COMPUTER hardware description languages, PHOTOVOLTAIC power systems, PETRI nets, DESIGN techniques
Abstract

Featured Application: The proposed research method is strictly aimed at further practical applications. The authors present the design technique aimed at the effective implementation of the modeled concurrent control system within the FPGA device. The main goal is the reduction in the logic resources of the destination FPGA by adequate modeling and optimization of the system. The proposed idea is illustrated by a real-life application of the photovoltaic control system implemented in the FPGA device from Xilinx (Artix-7 family). A novel design technique of a Petri net-based concurrent control system is proposed in this paper. The idea is oriented on the effective implementation of the system within the FPGA device. In order to reduce the resources of the targeted device, the concurrent control system is optimized by the use of the authors' techniques. The complete design flow is shown, including the modeling of the system by an interpreted Petri net, its further transformation to the hardware description language, adequate logic optimization, and final implementation within the destination FPGA. The presented method is explained by a case study example of the photovoltaic control system and compared with the already known technique. The performed experiments indicated a very high effectiveness of the proposed technique. It is shown that the photovoltaic control system designed according to the presented method reduces the logic resources of the destination FPGA device by up to 28%. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

16. Introduction

Author

Wiśniewski, Remigiusz, Grimble, Michael J., Series editor, Johnson, Michael A., Series editor, and Wiśniewski, Remigiusz

Published
2017
Full Text
View/download PDF

22. Related Work

Author

Wiśniewski, Remigiusz, Grimble, Michael J., Series editor, Johnson, Michael A., Series editor, and Wiśniewski, Remigiusz

Published
2017
Full Text
View/download PDF

23. Trusted Third Party Application in Durable Medium e-Service.

Author

Bazydło, Grzegorz, Kozdrój, Kamil, Wiśniewski, Remigiusz, and Bhattacharjya, Aniruddha

Subjects
ELECTRONIC services, ELECTRONIC records, CYBERTERRORISM, BLOCKCHAINS
Abstract

The paper presents a novel concept of applying a trusted third party (TTP) to the blockchain-based electronic service (e-service) in the form of a durable medium. The main aim of the proposed e-service is storing, managing, and processing sensitive electronic documents. The developed e-service meets the requirements of both Polish law (related to the durable medium) and market needs. Firstly, the functional requirements were defined. Subsequently, the adequate e-service was designed, and then implemented in a real company in Poland. Due to the nature of the durable medium e-service, the presented research combines scientific and implementation aspects. The designed and implemented e-service is secure (because of using the immutable blockchain technology merged with symmetric and asymmetric cryptographic algorithms) and trusted (by using TTP as the e-service provider, as well as an independent arbitrator monitoring the document storage and processing flow). Finally, the presented approach was experimentally verified using Hyperledger Besu—a blockchain implementation platform. During the realization of two designed test scenarios, over 30,000 transactions were added to the blockchain. Furthermore, security analyses were performed regarding inherent blockchain properties, the use of cryptographic algorithms, and potential cyberattacks and vulnerabilities. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

24. Conclusions

Author

Wiśniewski, Remigiusz, Grimble, Michael J., Series editor, Johnson, Michael A., Series editor, and Wiśniewski, Remigiusz

Published
2017
Full Text
View/download PDF

44. Reachability tree in liveness analysis of Petri net-based cyber-physical systems.

Author

Popławski, Mateusz, Wojnakowski, Marcin, Bazydło, Grzegorz, and Wiśniewski, Remigiusz

Subjects
CYBER physical systems, PETRI nets, TREES
Abstract

Liveness is one of the crucial properties in the analysis of the Petri net-based cyber-physical systems. The paper proposes two algorithms related to the analysis of the liveness. The first one is dedicated to the construction of the reachability tree of the analysed Petri net, and the second one to the analysis of the liveness of the net (based on the generated reachability tree). Operation of both algorithms was explained with the use of the multi-robot CPS case-study. [ABSTRACT FROM AUTHOR]

Published
2022
Full Text
View/download PDF

45. Safeness analysis of Petri net-based cyber-physical systems based on the linear algebra and parallel reductions.

Author

Wojnakowski, Marcin, Popławski, Mateusz, Wiśniewski, Remigiusz, and Bazydło, Grzegorz

Subjects
CYBER physical systems, LINEAR systems, LINEAR algebra
Abstract

A safeness analysis technique of a Petri net-based control part of cyber-physical system (CPS) is presented in the paper. The idea is based on the initial parallel reduction of a net, and further computation of the state machine components in the system. The effectiveness and efficiency of the proposed concept have been verified experimentally, with a set of 243 benchmarks (test modules). The method is especially dedicated (but not limited) to the Petri net-based models of the control part of CPS. [ABSTRACT FROM AUTHOR]

Published
2022
Full Text
View/download PDF

46. Trusted and secure e-service based on the durable medium and blockchain technology.

Author

Kozdrój, Kamil, Bazydło, Grzegorz, Wiśniewski, Remigiusz, and Starościc, Jacek

Subjects
BLOCKCHAINS, ELECTRONIC services, TRUST, DATA encryption, CONSUMERS
Abstract

The paper proposes a trusted and secure e-service that can be treated as a durable medium. The presented approach utilizes a blockchain database (managed by the trusted third party) combined with the cryptographic methods (signing with an electronic seal and data encryption). The service is mainly oriented towards the large financial institutions (e.g., banks) that require agreements on a document with a large number of customers, but it can also be applied for other enterprises or industrial areas. [ABSTRACT FROM AUTHOR]

Published
2022
Full Text
View/download PDF

47. Design and Verification of Petri-Net-Based Cyber-Physical Systems Oriented toward Implementation in Field-Programmable Gate Arrays—A Case Study Example.

Author

Wiśniewski, Remigiusz, Wojnakowski, Marcin, and Li, Zhiwu

Subjects
*GATE array circuits, *CYBER physical systems, *COMPUTATIONAL complexity, *DESIGN
Abstract

This paper presents a novel design approach of a Petri-net-based cyber-physical system (CPS). The idea is oriented toward implementation in a field-programmable gate array (FPGA). The proposed technique permits error detection in the system at the early specification stage in order to reduce the time and prototyping cost of the CPS. Due to the state explosion problem, the traditional verification methods have exponential computational complexity. In contrast, we show that under certain assumptions, the proposed algorithm is able to detect possible errors in the system even in cubic O( | T | 2 | P | ) time. Furthermore, all the required steps of the proposed design method are presented and discussed. The idea is illustrated by a real-life case study example of a traffic light crossroad. The system was modelled, analysed, implemented, and finally validated within the FPGA device (Virtex-5 family). [ABSTRACT FROM AUTHOR]

Published
2023
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results