-
21
Colored Petri Net-Based Verification and Improvement of Time-Sensitive Single-Unit Manufacturing for the Soil Preparation Instrument of Space Missions
Published 2020-01-01“…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
Article -
22
ProcessM: Intelligent Process Mining software
Published 2025-05-01Subjects: “…Petri net…”
Get full text
Article -
23
Complexity Quantification for Overhead Transmission Line Emergency Repair Scheme via a Graph Entropy Method Improved with Petri Net and AHP Weighting Method
Published 2014-01-01“…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
Article -
24
A Key Event Path Analysis Approach for Integrated Systems
Published 2012-01-01“…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
Article -
25
Modeling, Design, and Implementation of a Cloud Workflow Engine Based on Aneka
Published 2014-01-01“…This paper presents a Petri net-based model for cloud workflow which plays a key role in industry. …”
Get full text
Article -
26
DHRCA: A Design of Security Architecture Based on Dynamic Heterogeneous Redundant for System on Wafer
Published 2024-01-01“…The security of our approach is analyzed by building a generalized stochastic coloring petri net (GSCPN) model of DHRCA. The simulation results based on the GSCPN model show that our method can improve the system security probability to 0.8690 and the system availability probability to 0.9750 in the steady state compared with typical triple-mode redundancy and runtime monitoring methods. …”
Get full text
Article -
27
A Retrieval Optimized Surveillance Video Storage System for Campus Application Scenarios
Published 2018-01-01“…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
Article -
28
A Multistep Look-Ahead Deadlock Avoidance Policy for Automated Manufacturing Systems
Published 2017-01-01“…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
Article -
29
A Model Reduction Method for Parallel Software Testing
Published 2013-01-01“…In this paper, a model reduction method based on Coloured Petri Net (CPN) is shown, which could generate a functionality-equivalent and trace-equivalent model with smaller scale. …”
Get full text
Article -
30
Safety Analysis of Integrated Modular Avionics System Based on FTGPN Method
Published 2020-01-01“…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
Article -
31
Modeling and Analysis of Postdisaster Aviation Medical Rescue Process Using SPN-MC
Published 2022-01-01“…The dynamic discrete modeling of the postdisaster aviation medical rescue process was carried out in combination with the stochastic Petri net (SPN) theory, and the effectiveness of the process of postdisaster aviation medical rescue was analyzed by using the isomorphism relationship between SPN and Markov chain (MC). …”
Get full text
Article -
32
A Dynamic Source Tracing Method for Food Supply Chain Quality and Safety Based on Big Data
Published 2022-01-01“…At first, this paper summarized the variables of food supply chain quality and safety, constructed a Petri net model and a Bayesian network model for food quality prediction and source tracing, and realized the prediction of food quality features. …”
Get full text
Article -
33
Control of Discrete Event Systems by Means of Discrete Optimization and Disjunctive Colored PNs: Application to Manufacturing Facilities
Published 2014-01-01“…With the purpose of improving the efficiency of a control methodology for discrete systems, based on a simulation-based optimization and the Petri net (PN) model of the real discrete event dynamic system (DEDS), this paper presents a strategy, where a transformation applied to the model allows removing the redundant information to obtain a smaller model containing the same useful information. …”
Get full text
Article -
34
Cloud/VPN-Based Remote Control of a Modular Production System Assisted by a Mobile Cyber–Physical Robotic System—Digital Twin Approach
Published 2025-01-01“…Continuous Petri Nets (CPNs) handle the movement of the MCPRS. …”
Get full text
Article -
35
A Comprehensive Approach to Power Management in Embedded Systems
Published 2011-03-01“…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
Article -
36
Methodical Approach to Selecting the Appropriate Distribution for Reliability Analysis: Automotive Application
Published 2025-01-01“…As a result, in improving the models used to analyze complex systems behavioral analogies such as Petri nets or Markov chains.…”
Get full text
Article -
37
Mixed Integer Programming-Based Liveness Test for FMS with Full Routing Flexibility
Published 2014-01-01“…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
Article -
38
Deadlock Prevention Policy with Behavioral Optimality or Suboptimality Achieved by the Redundancy Identification of Constraints and the Rearrangement of Monitors
Published 2015-01-01“…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
Article -
39
The Concept of a Method for Predicting the Cascade Effect Under Conditions of Hybrid Warfare
Published 2024-09-01“…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
Article -
40
A Correctness Checking Approach for Collaborative Business Processes in the Cloud
Published 2020-01-01“…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
Article
