Topic · Petri Nets in System Modeling
Most cited papers in Petri Nets in System Modeling
What are the most cited papers in Petri Nets in System Modeling?
The most cited paper in Petri Nets in System Modeling is "Petri nets: Properties, analysis and applications" (Tadao Murata, 1989), with 10,641 citations. Next come "Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks" (4,727) and "Stability of networked control systems" (3,464).
Showing 50 of 100 papers. Every paper with more than 584 citations is listed.
| # | Paper | ||
|---|---|---|---|
| 1 | Petri nets: Properties, analysis and applications Tadao Murata · Proceedings of the IEEE | Apr 1989 | 10,641 |
| 2 | Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks Paulo Tabuada · IEEE Transactions on Automatic Control | Sep 2007 | 4,727 |
| 3 | Stability of networked control systems Wei Zhang, Michael S. Branicky, S.M. Phillips · IEEE Control Systems | Feb 2001 | 3,464 |
| 4 | Supervisory Control of a Class of Discrete Event Processes Peter J. Ramadge, Walter Murray Wonham · SIAM Journal on Control and Optimization | 1987 | 3,372 |
| 5 | Time-delay systems: an overview of some recent advances and open problems Jean‐Pierre Richard · Automatica | 3 Sep 2003 | 3,346 |
| 6 | Control of systems integrating logic, dynamics, and constraints Alberto Bemporad, Manfred Morari · Automatica | Mar 1999 | 3,082 |
| 7 | The control of discrete event systems Peter J. Ramadge, Walter Murray Wonham · Proceedings of the IEEE | 1989 | 2,945 |
| 8 | THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT Wil M. P. van der Aalst · Journal of Circuits Systems and Computers | Feb 1998 | 2,707 |
| 9 | Priority inheritance protocols: an approach to real-time synchronization Lui Sha, R. Rajkumar, John P. Lehoczky · IEEE Transactions on Computers | 1990 | 2,256 |
| 10 | Workflow mining: discovering process models from event logs Wil M. P. van der Aalst, Ton Weijters, Laura Măruşter · IEEE Transactions on Knowledge and Data Engineering | 27 Jul 2004 | 2,205 |
| 11 | An introduction to event-triggered and self-triggered control W.P.M.H. Heemels, Karl Henrik Johansson, Paulo Tabuada | Dec 2012 | 1,971 |
| 12 | Consensus in the presence of partial synchrony Cynthia Dwork, Nancy Ann Lynch, Larry Stockmeyer · Journal of the ACM | Apr 1988 | 1,913 |
| 13 | The theory of hybrid automata Thomas A. Henzinger | 23 Dec 2002 | 1,861 |
| 14 | Stability analysis of networked control systems Greg Walsh, Hong Ye, Linda G. Bushnell · IEEE Transactions on Control Systems Technology | May 2002 | 1,699 |
| 15 | Control Under Communication Constraints Sekhar Tatikonda, Sanjoy K. Mitter · IEEE Transactions on Automatic Control | Jul 2004 | 1,674 |
| 16 | Diagnosability of discrete-event systems Meera Sampath, Raja Sengupta, Stéphane Lafortune et al. · IEEE Transactions on Automatic Control | 1995 | 1,625 |
| 17 | The rate monotonic scheduling algorithm: exact characterization and average case behavior John P. Lehoczky, Lui Sha, Yifan Ding | 7 Jan 2003 | 1,470 |
| 18 | Periodic Event-Triggered Control for Linear Systems W.P.M.H. Heemels, M.C.F. Donkers, Andrew R. Teel · IEEE Transactions on Automatic Control | 21 Sep 2012 | 1,414 |
| 19 | Reference architecture for holonic manufacturing systems: PROSA Hendrik Van Brussel, Jo Wyns, Paul Valckenaers et al. · Computers in Industry | Nov 1998 | 1,411 |
| 20 | A logic for reasoning about time and reliability Hans Arne Hansson, Bengt Jönsson · Formal Aspects of Computing | Sep 1994 | 1,378 |
| 21 | YAWL: yet another workflow language Wil M. P. van der Aalst, Arthur H. M. ter Hofstede · Information Systems | 23 Mar 2004 | 1,362 |
| 22 | A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems Marco Ajmone Marsan, G. Conte, Gianfranco Balbo · ACM Transactions on Computer Systems | May 1984 | 1,357 |
| 23 | Business Process Management: A Survey Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Mathias Weske · Lecture notes in computer science | 2003 | 1,342 |
| 24 | A unified framework for hybrid control: model and optimal control theory Michael S. Branicky, Vivek S. Borkar, Sanjoy K. Mitter · IEEE Transactions on Automatic Control | 1998 | 1,324 |
| 25 | Introduction to the ISO specification language LOTOS Tommaso Bolognesi, Ed Brinksma · Computer Networks and ISDN Systems | 1987 | 1,303 |
| 26 | Specification and verification of concurrent systems in CESAR J. P. Queille, Joseph Sifakis · Lecture notes in computer science | 1982 | 1,302 |
| 27 | Event-Triggering in Distributed Networked Control Systems Xiaofeng Wang, Michael D. Lemmon · IEEE Transactions on Automatic Control | 21 Jul 2010 | 1,185 |
| 28 | Petri Nets James L. Peterson · ACM Computing Surveys | Sep 1977 | 1,165 |
| 29 | Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing Edward Ashford Lee, David G. Messerschmitt · IEEE Transactions on Computers | 1987 | 1,149 |
| 30 | On the complexity of fixed-priority scheduling of periodic, real-time tasks Joseph Y.‐T. Leung, Jennifer Whitehead · Performance Evaluation | Dec 1982 | 1,148 |
| 31 | Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems Kurt Jensen, Lars Michael Kristensen, Lisa Wells · International Journal on Software Tools for Technology Transfer | 13 Mar 2007 | 1,145 |
| 32 | A Petri net based deadlock prevention policy for flexible manufacturing systems J. Ezpeleta, José Manuel Colom, José Mario Martínez · IEEE Transactions on Robotics and Automation | Apr 1995 | 1,144 |
| 33 | Web services orchestration and choreography Chris Peltz · Computer | Oct 2003 | 1,143 |
| 34 | Networked Control System: Overview and Research Trends Rachana Ashok Gupta, Mo–Yuen Chow · IEEE Transactions on Industrial Electronics | 13 Nov 2009 | 1,121 |
| 35 | Conformance checking of processes based on monitoring real behavior Anne Rozinat, Wil M. P. van der Aalst · Information Systems | 6 Jul 2007 | 1,120 |
| 36 | Feedback Control Under Data Rate Constraints: An Overview Girish N. Nair, Fabio Fagnani, Sandro Zampieri et al. · Proceedings of the IEEE | 2007 | 1,114 |
| 37 | Applying new scheduling theory to static priority pre-emptive scheduling Neil Audsley, A. Burns, Mike Richardson et al. · Software Engineering Journal | 1993 | 1,109 |
| 38 | Modeling and verification of time dependent systems using time Petri nets Bernard Berthomieu, M. Díaz · IEEE Transactions on Software Engineering | Mar 1991 | 1,085 |
| 39 | Performance Analysis Using Stochastic Petri Nets Molloy · IEEE Transactions on Computers | Sep 1982 | 1,073 |
| 40 | Network-Induced Constraints in Networked Control Systems—A Survey Lixian Zhang, Huijun Gao, Okyay Kaynak · IEEE Transactions on Industrial Informatics | 18 Sep 2012 | 1,069 |
| 41 | Control methodologies in networked control systems Y. Tipsuwan, Mo–Yuen Chow · Control Engineering Practice | 2 Jun 2003 | 1,047 |
| 42 | A state-feedback approach to event-based control Jan Lunze, Daniel J. Lehmann · Automatica | 16 Nov 2009 | 1,020 |
| 43 | Distributed discrete-event simulation Jayadev Misra · ACM Computing Surveys | Mar 1986 | 1,007 |
| 44 | Symbolic model checking: an approach to the state explosion problem Kenneth L. McMillan · Defense Technical Information Center (DTIC) | 1992 | 982 |
| 45 | Knowledge and common knowledge in a distributed environment Joseph Yehuda Halpern, Yoram Moses · Journal of the ACM | Jul 1990 | 974 |
| 46 | Stochastic analysis and control of real-time systems with random time delays Johan L. Å. Nilsson, Bo Bernhardsson, Björn Wittenmark · Automatica | 1998 | 945 |
| 47 | Petri nets, event structures and domains, part I Mogens Nielsen, Gordon D. Plotkin, Glynn Winskel · Theoretical Computer Science | 1981 | 927 |
| 48 | Networked Control Systems With Communication Constraints: Tradeoffs Between Transmission Intervals, Delays and Performance W.P.M.H. Heemels, Andrew R. Teel, Nathan van de Wouw et al. · IEEE Transactions on Automatic Control | 16 Feb 2010 | 916 |
| 49 | A survey of hard real-time scheduling for multiprocessor systems Robert Ian Davis, Alan Burns · ACM Computing Surveys | Oct 2011 | 907 |
| 50 | Automata for modeling real-time systems Rajeev Alur, David L. Dill · Lecture notes in computer science | 11 Dec 2005 | 904 |
Citations are OpenAlex's own counts, from its 2026-09-23 snapshot, so the ranking can differ from Google Scholar or Web of Science. A paper is listed for a field when OpenAlex files it under one of the field's topics; retracted papers and papers whose citation count cannot be traced to citing works are left out, and a preprint and the article it became are shown once. Release dates are OpenAlex's: where a source gave only a month or a year, that is what is shown. How the lists are chosen.