Dynamic Assignment of Roles and Users for Business Processes Under Security Requirements

Du, Yanhua; Zhou, Yongchuan; Hu, Hesuan

doi:10.1109/tii.2023.3240568

Cited by 3 publications

(4 citation statements)

References 35 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…01: assign t [1]=p [1]&s; 02: assign t [2]=p [5]&e [1]; 03: assign t[3]=p [2]&p [3]&p [4]; 04: assign t [4]=p [6]&e [2]; 05: assign t [5]=p [7]&x [1]&~x [2]&~x [3]; 06: assign t [6]=p [7]&~x [1]&~x [2]&x [3]; 07: assign t [7]=p [7]&~x [1]&x [2]&~x [3]; 08: assign t [8]=p [8]&~x [3]; 09: assign t [9]=p [9]&~x [2]; 10: assign t [10]=p [10]&x [1];…”

Section: Transformation Of the Petri Net-based Description Into Veril...mentioning

confidence: 99%

“…However, in the presented photovoltaic system, other equations are going to be optimized. //Equations of transitions: 03: assign t[1]=p [1]; 04: assign t [2]=p [10]&p [11]&p [12]&p [13]&p [14]&p [15]&p [16] Listing 6 presents sample equations for the outputs. The particular values (status_e, status_p, and status_t) are computed based on the current status of sensors.…”

Section: Transformation Of the Petri Net-based Description Into Veril...mentioning

confidence: 99%

“…Over the years, Petri nets have found widespread applications in various domains, including computer science [3], manufacturing [4][5][6], biology [7], and cyber-physical systems [8]. Recently, the Petri netbased modeling approach has become especially popular in the modeling of real-life industrial systems (e.g., they are applied by manufacturing companies) [9][10][11].…”

Section: Introduction and Problem Formulationmentioning

confidence: 99%

See 2 more Smart Citations

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

Wiśniewski,

Opara,

Wojnakowski

2024

Applied Sciences

View full text Add to dashboard Cite

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%.

show abstract

Section: Transformation Of the Petri Net-based Description Into Veril...mentioning

confidence: 99%

Section: Transformation Of the Petri Net-based Description Into Veril...mentioning

confidence: 99%

Section: Introduction and Problem Formulationmentioning

confidence: 99%

See 1 more Smart Citation

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

Wiśniewski,

Opara,

Wojnakowski

2024

Applied Sciences

View full text Add to dashboard Cite

show abstract

“…As the authors of [6] explain, this can have an extremely damaging impact on business, potentially causing loss of data and intellectual property, interference in business operations, and reputational harm. In the future society, security must influence business processes, for example, in the assignment of roles and responsibilities, as this could significantly reduce the occurrence of cybersecurity attacks [7]. The security of 5G has become a critical requirement since business dynamics have expanded to actors belonging to disparate fields, thus implying that the set of players who could breach network security is very diversified [8].…”

Section: Introductionmentioning

confidence: 99%

Business-Oriented Security Analysis of 6G for eHealth: An Impact Assessment Approach

Suraci

Pizzi

Molinaro

et al. 2023

Sensors

View full text Add to dashboard Cite

Following the COVID-19 outbreak, the health sector is undergoing a deep transformation that is increasingly pushing it towards the exploitation of technology, thus fostering the growth of digital health (eHealth). Cellular networks play a pivotal role in promoting the digitalization of healthcare, and researchers are banking on beyond fifth-generation (B5G) and sixth-generation (6G) technologies to reach the turning point, given that, according to forecasts, 5G will not be able to meet future expectations. Security is an aspect that definitely should not be overlooked for the success of eHealth to occur. This work aims to address the security issue from a poorly explored viewpoint, namely that of economics. In this paper, we first describe the main eHealth services, highlighting the key stakeholders involved. Then, we discuss how next-generation technologies could support these services to identify possible business relationships and, therefore, to realize an innovative business-oriented security analysis. A qualitative assessment of the impact of specific security breaches in diverse business conditions is provided. Moreover, we examine a case study in order to show the effects of security attacks in a definite scenario and discuss their impact on business dynamics.

show abstract

Proposal of Simultaneous Localization and Mapping for Mobile Robots Indoor Environments Using Petri Nets and Computer Vision

Mota,

Batista,

Alexandria

2024

Preprint

View full text Add to dashboard Cite

Studies in the area of mobile robotics have advanced in recent years, mainly due to the evolution of technology and the growing need for automated and dynamic solutions in sectors such as industry, transport and agriculture. These devices are complex and the ideal method for localizing, mapping and navigating autonomous mobile robots changes depending on the application. Thus, the general objective of this work is to propose a simultaneous localization and mapping method for autonomous mobile robots in indoor environments, using Computer Vision (CV) and Petri Net (PN). A landmark was placed next to each door in the analyzed region and images were acquired as the rooms in the environment were explored. The algorithm processes the images to count and identify the doors. A transition is created in the PN for each door found and the rooms connected by these doors are represented by the places in the PN. Then, one of the doors is crossed, new images are obtained and the process is repeated until all rooms are explored. The algorithm generates an PN, which can be represented by an image file (.png) and a file with the extension .pnml. The results compare the layout of four environments with the respective generated PNs. Furthermore, six evaluation criteria are proposed for validating Petri nets as a topological map of environments. It is concluded that using PN for this purpose presents originality and potential innovation, being a SLAM technique for indoor environments, which demands low computational cost.

show abstract

Dynamic Assignment of Roles and Users for Business Processes Under Security Requirements

Cited by 3 publications

References 35 publications

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

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

Business-Oriented Security Analysis of 6G for eHealth: An Impact Assessment Approach

Proposal of Simultaneous Localization and Mapping for Mobile Robots Indoor Environments Using Petri Nets and Computer Vision

Contact Info

Product

Resources

About