ABSTRACT:

This paper presents a class of Petri nets, process nets with channels (PNCs) that can model some types of concurrent systems in two aspects: process and interaction. Its significance lies in offering efficient analysis and verification methods for these systems. PNCs belong to the class of extended free choice nets. This paper establishes the conditions to examine their liveness, reversibility, and reachability based on their structural characteristics. Siphons, traps, and a state equation are used to describe these conditions such that analysis techniques based on reachability graphs and siphon enumeration are avoided. A polynomial-time algorithm is presented for the liveness analysis, and an effective method is also given to decide the reachability. A real-world example is used to illustrate the application of PNCs.


Did you like this research project?

To get this research project Guidelines, Training and Code... Click Here

PROJECT TITLE : Measuring Fitness and Precision of Automatically Discovered Process Models: A Principled and Scalable Approach ABSTRACT: We are able to generate a process model by using automated process discovery techniques,
PROJECT TITLE : Improving the In-Hospital Mortality Prediction of Diabetes ICU Patients Using a Process Mining/Deep Learning Architecture ABSTRACT: Patients in the intensive care unit (ICU) who have diabetes have an increased
PROJECT TITLE : GPCA A Probabilistic Framework for Gaussian Process Embedded Channel Attention ABSTRACT: It is common practice to employ channel attention mechanisms in a variety of visual tasks in order to achieve effective
PROJECT TITLE : Improving the In-Hospital Mortality Prediction of Diabetes ICU Patients Using a Process Mining/Deep Learning Architecture ABSTRACT: Patients in the intensive care unit (ICU) who have diabetes have an increased
PROJECT TITLE : Optimal Scale Combination Selection Integrating Three-Way Decision With Hasse Diagram ABSTRACT: In the field of machine learning, the multi-scale decision system, also known as MDS, is a useful tool for describing