专题：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.
最新文献
Length-Bounded Least-Cost Transition Firing Sequence Estimation in Petri Nets with Unobservable Transitions

article Full Text OpenAlex

Generalized Product-Form Solutions for Stationary and Non-Stationary Queuing Networks with Application to Maritime and Railway Transport

article Full Text OpenAlex

Exact Approaches for the Diverse Satisfiability Problem

book-chapter Full Text OpenAlex

The Optimal Strategy to Meet the Deadline: Ask Christel!

book-chapter Full Text OpenAlex

Identification of Deployment Environments Based on Link Quality Fluctuation Patterns

article Full Text OpenAlex

A Digital Colleague as intuitive operator support system in a HMLV Production Environment

article Full Text OpenAlex

Fault detection filtering for uncertain Markov jump systems with DoS attacks under weighted try-once-discard protocol

article Full Text OpenAlex

Running.Christel: A Stochastic Hybrid Case-Study Optimizing Battery Pack Usage

book-chapter Full Text OpenAlex

PCTL Satisfiability for Infinite Binary Trees

book-chapter Full Text OpenAlex

Nondeterminism in Interactive Markov Chains, with Application to the Erlangen Mainframe

book-chapter Full Text OpenAlex

近5年高被引文献
Introduction to Discrete Event Systems

book Full Text OpenAlex 3461 FWCI31.08

Decidability Issues for Petri Nets -- a survey

preprint Full Text OpenAlex 268 FWCI0

Supervisory Control of Discrete-Event Systems

book-chapter Full Text OpenAlex 262 FWCI24.037

Constrained Markov Decision Processes

book Full Text OpenAlex 194 FWCI17.656

Probabilistic Event-Triggered Policy for Extended Dissipative Finite-Time Control of MJSs under Cyber-Attacks and Actuator Failures

article Full Text OpenAlex 181 FWCI47.445

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

article Full Text OpenAlex 172 FWCI45.845

Communication-protocol-based analysis and synthesis of networked systems: progress, prospects and challenges

article Full Text OpenAlex 162 FWCI20.21

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

article Full Text OpenAlex 114 FWCI30.119

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

article Full Text OpenAlex 108 FWCI15.066

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

article Full Text OpenAlex 102 FWCI27.187