Leaderboards/Petri Nets in System Modeling

Petri Nets in System Modeling

Last updated July 7, 2026

Rising Stars

New and hot

Rising Stars Researchers

1
Yue-Yue Tao
City University of Hong Kong
2
Mowafak Hassan Abdul-Hussin
University of Technology - Iraq
3
Haiying Wan
Jiangnan University
4
Ahmad Abutahoun
Queensland University of Technology
5
Yihui Hu
Xi’an University of Posts and Telecommunications
6
Yifang Zhang
State Key Laboratory of Industrial Control Technology
7
Shaopeng Hu
Xidian University
8
Benyuan Yang
Soochow University
9
Mario Günzel
TU Dortmund University
10
Jiankang Fang
Anhui University

Rising Stars Papers

1
Queue length estimation for signal controlling in a connected environment
Expert Systems with Applications|2025
103 cit.
2
Finite-region asynchronous H∞ filtering for 2-D Markov jump systems in Roesser model
Applied Mathematics and Computation|2024
60 cit.
3
Optimal Sensor Selection for Diagnosability Enforcement in Labeled Petri Nets
IEEE Transactions on Systems Man and Cybernetics Systems|2024
19 cit.
4
Event-Based Asynchronous <i>H</i>∞ Control for Nonhomogeneous Markov Jump Systems With Imperfect Transition Probabilities
IEEE Transactions on Cybernetics|2024
18 cit.
5
Asynchronous Control of 2-D Markov Jump Roesser Systems With Nonideal Transition Probabilities
IEEE Transactions on Cybernetics|2024
14 cit.
6
Secure Event-Based Consensus Control for Multi-Agent Systems Under DoS Attacks and Input Saturation
IEEE Transactions on Systems Man and Cybernetics Systems|2025
13 cit.
7
Supervisor Synthesis Using Labeled Petri Nets for Forbidden State Specifications
IEEE Transactions on Systems Man and Cybernetics Systems|2024
10 cit.
8
Supervisor synthesis for asynchronous diagnosability enforcement in labeled Petri nets
Information Sciences|2024
9 cit.
9
Resiliency Analysis of Role-Based Access Control via Constraint Enforcement and Mathematical Programming
IEEE Transactions on Systems Man and Cybernetics Systems|2024
7 cit.
10
Robust Fault Diagnosis of Networked Discrete Event Systems Using Labeled Petri Nets
IEEE Transactions on Systems Man and Cybernetics Systems|2025
6 cit.

Emerging Leaders

Gaining momentum

Emerging Leaders Researchers

1
Xiwang Guo
Liaoning Shihua University
2
Yunchao Wu
Xi'an Jiaotong University
3
Sanghoo Park
Korea Advanced Institute of Science and Technology
4
Craig Gunther
Harman (United Kingdom)
5
Marcin Wojnakowski
University of Zielona Góra
6
Pier Francesco Palamara
Centre for Human Genetics
7
Bushra Abutahoun
Jordan University of Science and Technology
8
Taqwa I. Alhadidi
Al-Ahliyya Amman University
9
Rabiu Sale Zakariyya
Jinhua Academy of Agricultural Sciences
10
Yin Tong
Southwest Jiaotong University

Emerging Leaders Papers

1
Biobank-scale inference of ancestral recombination graphs enables genealogical analysis of complex traits
Nature Genetics|2023
119 cit.
2
Queue length estimation for signal controlling in a connected environment
Expert Systems with Applications|2025
103 cit.
3
Multiobjective U-Shaped Disassembly Line Balancing Problem Considering Human Fatigue Index and an Efficient Solution
IEEE Transactions on Computational Social Systems|2022
94 cit.
4
Reinforcement Learning for Disassembly System Optimization Problems: A Survey
International Journal of Network Dynamics and Intelligence|2023
78 cit.
5
Human–Robot Collaborative Disassembly Line Balancing Problem With Stochastic Operation Time and a Solution via Multi-Objective Shuffled Frog Leaping Algorithm
IEEE Transactions on Automation Science and Engineering|2023
70 cit.
6
A scalable variational inference approach for increased mixed-model association power
Nature Genetics|2025
52 cit.
7
Haplotype-based inference of recent effective population size in modern and ancient DNA samples
Nature Communications|2023
45 cit.
8
Energy, cost and job-tardiness-minimized scheduling of energy-intensive and high-cost industrial production systems
Engineering Applications of Artificial Intelligence|2024
39 cit.
9
Automated Pavement Cracks Detection and Classification Using Deep Learning
Unknown Journal|2024
29 cit.
10
Development of safety performance measures for different crashes severity at urban roundabouts
Results in Engineering|2024
29 cit.

Current Senior Leaders

Established & currently active

Current Senior Leaders Researchers

1
MengChu Zhou
New Jersey Institute of Technology
2
Stéphane Lafortune
University of Michigan
3
Paulo Tabuada
University of California, Los Angeles
4
Zhiwu Li
Xidian University
5
Kishor S. Trivedi
Duke University
6
Demosthenis Teneketzis
University of Michigan
7
Manfred Morari
ETH Zurich
8
Shankar Sastry
Berkeley College
9
Panos J. Antsaklis
University of Notre Dame
10
Wil M. P. van der Aalst
RWTH Aachen University

Current Senior Leaders Papers

1
Model predictive control: Theory and practice—A survey
Automatica|1989
5.3k cit.
2
Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks
IEEE Transactions on Automatic Control|2007
4.6k cit.
3
Control of systems integrating logic, dynamics, and constraints
Automatica|1999
3.1k cit.
4
THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT
Journal of Circuits Systems and Computers|1998
2.7k cit.
5
Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results
IEEE Transactions on Automatic Control|2009
2.6k cit.
6
Probability and Statistics With Reliability, Queuing, and Computer Science Applications.
Journal of the American Statistical Association|1983
2.6k cit.
7
Workflow Patterns
Distributed and Parallel Databases|2003
2.6k cit.
8
Robust constrained model predictive control using linear matrix inequalities
Automatica|1996
2.5k cit.
9
Model predictive control: past, present and future
Computers & Chemical Engineering|1999
2.3k cit.
10
<i>Adaptive Control: Stability, Convergence, and Robustness</i>
The Journal of the Acoustical Society of America|1990
2.2k cit.

Reagents for Petri Nets in System Modeling

Citation-validated products used in this field

🔥 Trending

Gaining adoption fast

⭐ Top Rated

Best all-around

🌟 All-Time

Most validated

Cell Signaling TechnologyEvidence 67

Catenin delta-1 (D7S2M) Rabbit Monoclonal Antibody

#59854$177,413
View Evidence →
Cell Signaling TechnologyEvidence 62

Phospho-SMAD2 (Ser465/Ser467) (E8F3R) Rabbit Monoclonal Antibody (InTraSeq™ 3' Conjugate 3061)

#34360$452
View Evidence →