专题：Petri Nets in System Modeling

This cluster of papers focuses on the modeling, analysis, and control of Petri nets in various systems, with an emphasis on deadlock prevention, supervisory control, fault diagnosis, and diagnosability analysis in the context of discrete-event systems and flexible manufacturing systems. It also covers topics such as formal methods, stochastic Petri nets, and concurrency modeling.
最新文献
Controller Deadlocks in AMSs with Various Resource Utilization Maximally Permissive

article Full Text OpenAlex

Design and Optimization Performance of FMSs Modeled with S 4 PR Petri Nets

article Full Text OpenAlex

Verification of Declarative LTL Specification of Control Program Behavior

article Full Text OpenAlex

Analysis of Boundedness and Safeness in a Petri Net-Based Specification of Concurrent Control Systems

book Full Text OpenAlex

A Tutorial on Data-Driven Petri Net Model Extraction and Simulation for Digital Twins in Smart Manufacturing

article Full Text OpenAlex

Supervisory Control for Active Diagnosis in Labeled Petri Nets Under Observation and Control Delays

article Full Text OpenAlex

Field-System Coupling: An FOP Instrument for the AEW Triad under Finite Horizons

preprint Full Text OpenAlex

Inferring failure processes via causality analysis: from event logs to predictive fault trees

article Full Text OpenAlex

On Synthesis of Timed Regular Expressions

article Full Text OpenAlex

Optimistic and pessimistic reliability performance assessment approaches for reconfigurable manufacturing systems

article Full Text OpenAlex

近5年高被引文献
Probabilistic Event-Triggered Policy for Extended Dissipative Finite-Time Control of MJSs under Cyber-Attacks and Actuator Failures

article Full Text OpenAlex 250 FWCI46.9014

Secure Filter Design of Fuzzy Switched CPSs With Mismatched Modes and Application: A Multidomain Event-Triggered Strategy

article Full Text OpenAlex 214 FWCI40.2615

Sampled-data control systems with non-uniform sampling: A survey of methods and trends

article Full Text OpenAlex 168 FWCI31.1829

Novel event-triggered protocol to sliding mode control for singular semi-Markov jump systems

article Full Text OpenAlex 151 FWCI28.0861

Comparative Study of Ladder Logic and Structured Text Programming for PLC

preprint Full Text OpenAlex 134 FWCI0

Protocol-Based Output-Feedback Control for Semi-Markov Jump Systems

article Full Text OpenAlex 127 FWCI15.0416

Protocol-based filtering for fuzzy Markov affine systems with switching chain

article Full Text OpenAlex 105 FWCI12.752

Self-triggered finite-time control for discrete-time Markov jump systems

article Full Text OpenAlex 103 FWCI19.0843

Deadline-Aware Online Scheduling of TSN Flows for Automotive Applications

article Full Text OpenAlex 82 FWCI11.5213

Decidability Issues for Petri Nets -- a survey

article Full Text OpenAlex 75 FWCI0