专题：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.
最新文献
Coh Category: Verifier-Certified Trace Composition and Projection-Induced Semantic Cost

preprint Full Text OpenAlex

Diagnosability verification for automata and Petri nets: Can we do better?

article Full Text OpenAlex

Adaptive Reinforcement Learning with Control Barrier Functions for Safe State Avoidance in Discrete Event Systems

article Full Text OpenAlex

DSFB Structural Semiotics Engine for Semiconductor Process Control - A Deterministic Augmentation Layer for Typed Residual Interpretation for Fault Detection and Run-to-Run Variation in Advanced Manufacturing

preprint Full Text OpenAlex

An efficient stochastic process discovery framework based on optimization

article Full Text OpenAlex

Efficiently computable temporal robustness for a practical STL fragment

article Full Text OpenAlex

Actor-based simulation framework for scalable verification of mutual exclusion algorithms

article Full Text OpenAlex

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

Agents4PLC: Automating Closed-loop PLC Code Generation and Verification in Industrial Control Systems using LLM-based Agents

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 255 FWCI45.1828

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

article Full Text OpenAlex 217 FWCI38.7191

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

article Full Text OpenAlex 171 FWCI30.2991

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

article Full Text OpenAlex 155 FWCI27.8832

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 130 FWCI15.0467

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 FWCI18.472

Queue length estimation for signal controlling in a connected environment

article Full Text OpenAlex 101 FWCI132.3515

Deadline-Aware Online Scheduling of TSN Flows for Automotive Applications

article Full Text OpenAlex 85 FWCI11.5476