The Concept of a Method for Predicting the Cascade Effect Under Conditions of Hybrid Warfare by WRÓBLEWSKI Wojciech, WIŚNIEWSKI Michał

“…Using complementary tools such as process analysis, risk assessment, Petri nets, and Bayesian network in the form of the Critical Infrastructure Security Situational Management methodology, the authors provide a comprehensive solution for modeling how to protect the life and health of the civilian population. …”
Get full text

A Correctness Checking Approach for Collaborative Business Processes in the Cloud by Qi Mo, Yuqi Wang, Jixiang Xiang, Tong Li

“…Our approach is implemented in the PIPE (an open tool for Petri nets) and evaluated on actual cases that show its effectiveness and efficiency.…”
Get full text

Failure recovery algorithm for LRT and transaction property analysis by Xiao-yong MEI, Chang-qin HUANG, Xiao-lin ZHENG, De-ren CHEN, Shi-xian LI

“…Researchers have worked on recovery strategies of composition transactions,most efforts focus on transaction consistency by backward recovery,compensation is commonly used for backward recovery,which have limitations since the cost of compensation tasks are rather expensive,and the compensation mechanism can not satisfy various requirements of applications.A transaction recovery algorithm was proposed including forward recovery,backward recovery and alternative recovery,which was a formal modeling method based on extended Petri nets,state token，data token and QoS token were introduced to implement relaxed ACID properties of LRT.When failure occurs,terminate dependency point (TDP) and compensation set were calculated dynamically,recovery strategies were added or deleted automatically according to the data flow dependency,control flow dependency and state dependency among tasks.Failure types are generated by log file mining,therefore,failure coordination and recovery are implemented and an executable model which support add/delete failure recovery behavior is constructed seamlessly.…”
Get full text

A Framework for the Objective Assessment of Registration Accuracy by Francesca Pizzorni Ferrarese, Flavio Simonetti, Roberto Israel Foroni, Gloria Menegaz

“…In this work, a different approach based on Petri nets is proposed. The basic idea consists in predicting the accuracy of a given pipeline based on the identification and characterization of the sources of inaccuracy. …”
Get full text

Multiperson Interactive Activity Recognition Based on Interaction Relation Model by Hongbin Tu, Renyu Xu, Rui Chi, Yuanyuan Peng

“…Secondly, this paper proposed an adaptive occlusion state behavior recognition method derived from the semantic knowledge model to ravel out the concern of occlusion and self-occlusion in human action recognition. Then, Petri Nets are used to recognize multiperson interactive actions. …”
Get full text

Process Completing Sequences for Resource Allocation Systems with Synchronization by Song Foh Chew, Shengyong Wang, Mark A. Lawley

“…Throughout the paper, we use a class of Petri nets called Generalized Augmented Marked Graphs to represent our resource allocation systems.…”
Get full text

Effective Facial Expression Recognition System Using Artificial Intelligence Technique by Imad S. Yousif, Tarik A. Rashid, Ahmed S. Shamsaldin, Sabat A. Abdulhameed, Abdulhady Abas Abdullah

“…A hybrid ANN-GA model that uses Petri Nets and production systems is proposed for the real-time video sequence analysis with high precision in predicting different dynamic facial activities of anger, surprise, disgust, joy, sadness and fear from emotion faces. …”
Get full text

Simulation of discrete control systems with parallelism of behavior by D. I. Cheremisinov, L. D. Cheremisinova

“…To specify the behavior of such control systems, it is proposed to use the PRALU language of parallel control algorithms, which is based on Petri nets and which allows to order events occurring during the device operation. …”
Get full text