Colored Petri Net-Based Verification and Improvement of Time-Sensitive Single-Unit Manufacturing for the Soil Preparation Instrument of Space Missions by Kai Leung Yung, Ming Gao, An Liu, Wai Hung Ip, Shancheng Jiang

“…All processes should be completed within the deadline so that the space project can be launched at the scheduled time. The colored Petri net (CPN) modeling method can describe a variety of resource types and execution logic, and it can be formally verified. …”
Get full text

Complexity Quantification for Overhead Transmission Line Emergency Repair Scheme via a Graph Entropy Method Improved with Petri Net and AHP Weighting Method by Jing Zhou, Cunbin Li, Weihua Shen, Ye Zhang

“…According to the characteristics of emergency repair in overhead transmission line accidents, a complexity quantification method for emergency repair scheme is proposed based on the entropy method in software engineering, which is improved by using group AHP (analytical hierarchical process) method and Petri net. Firstly, information structure chart model and process control flowchart model could be built by Petri net. …”
Get full text

ProcessM: Intelligent Process Mining software by Tomasz P. Pawlak, Jędrzej Potoniec

Subjects: “…Petri net…”
Get full text

A Multistep Look-Ahead Deadlock Avoidance Policy for Automated Manufacturing Systems by Chao Gu, Zhiwu Li, Abdulrahman Al-Ahmari

“…It is shown that the development of an optimal DAP for the considered class of Petri nets is also of polynomial complexity. It is indicated that the steps needed to look ahead in a DAP depend on the structure of the net model. …”
Get full text

Cloud/VPN-Based Remote Control of a Modular Production System Assisted by a Mobile Cyber–Physical Robotic System—Digital Twin Approach by Georgian Simion, Adrian Filipescu, Dan Ionescu, Adriana Filipescu

“…Continuous Petri Nets (CPNs) handle the movement of the MCPRS. …”
Get full text

A Comprehensive Approach to Power Management in Embedded Systems by Antônio Augusto Fröhlich

“…A set of mechanisms specifically conceived for this scenario is proposed, including a power management API defined at the level of user-visible system components, the infrastructure necessary to implement that API (namely, battery monitoring, accounting, autosuspend, and autoresume), an energy-event propagation mechanism based on Petri nets and implemented with aspect-oriented programming techniques, and an autonomous power manager build upon the proposed API and infrastructure. …”
Get full text

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

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

Mixed Integer Programming-Based Liveness Test for FMS with Full Routing Flexibility by Lida Dong, Tianyang Chi, Chengcheng Zhu, Jun Yin

“…Mixed integer programming (MIP) is an important technique to verify the liveness property of sequential flexible manufacturing systems (FMS) modeled by Petri nets. When there are some fully flexible routings in FMS, the existing MIP-based methods are not suitable for testing their liveness. …”
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

Methodical Approach to Selecting the Appropriate Distribution for Reliability Analysis: Automotive Application by Bella Naoufal, Salhi Nohaila, Lagrat Ismail

“…As a result, in improving the models used to analyze complex systems behavioral analogies such as Petri nets or Markov chains.…”
Get full text

Deadlock Prevention Policy with Behavioral Optimality or Suboptimality Achieved by the Redundancy Identification of Constraints and the Rearrangement of Monitors by Liang Hong, YiFan Hou, JunFeng Jing, AnRong Wang, Dmitry A. Litvin

“…This work develops an iterative deadlock prevention method for a special class of Petri nets that can well model a variety of flexible manufacturing systems. …”
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

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

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

Modeling, Design, and Implementation of a Cloud Workflow Engine Based on Aneka by Jiantao Zhou, Chaoxin Sun, Weina Fu, Jing Liu, Lei Jia, Hongyan Tan

“…This paper presents a Petri net-based model for cloud workflow which plays a key role in industry. …”
Get full text

A Retrieval Optimized Surveillance Video Storage System for Campus Application Scenarios by Shengcheng Ma, Xin Chen, Zhuo Li, Yingjie Yang

“…From the above, we model the storage system by a stochastic Petri net (SPN) and verify the promotion of query performance by quantitative analysis.…”
Get full text

A Key Event Path Analysis Approach for Integrated Systems by Jingjing Liao

“…According to translation rules concluded from integrated system architecture descriptions, the corresponding PESGs are constructed from the colored Petri Net (CPN) models. Then the definitions of cycle event paths, sequence event paths, and key event paths are given. …”
Get full text

Safety Analysis of Integrated Modular Avionics System Based on FTGPN Method by Haiyun Yang, Youchao Sun, Longbiao Li, Yundong Guo, Siyu Su, Qijun Huangfu

“…In order to overcome the limitations, the approach that FTA combines with generalized stochastic petri net (GSPN) is proposed. First, FTA is used to establish the static model for the top level of the IMA system, while GSPN is used to build a dynamic model for each cell system. …”
Get full text