A high performance backoff protocol for fast execution of composite web services
Computers and Industrial Engineering - Special issue: Computational intelligence and information technology applications to industrial engineering selected papers from the 33 rd ICC&IE
On the Computation of Natural Observers in Discrete-Event Systems
Discrete Event Dynamic Systems
Limited lookahead supervisory control of probabilistic discrete-event systems
Allerton'09 Proceedings of the 47th annual Allerton conference on Communication, control, and computing
Least-cost path estimation in wireless ad hoc sensor networks using Petri nets
Proceedings of the 5th International Conference on Ubiquitous Information Management and Communication
Guaranteed global performance through local coordinations
Automatica (Journal of IFAC)
State complexity of projected languages
DCFS'11 Proceedings of the 13th international conference on Descriptional complexity of formal systems
Analytical identification of discrete objects
Automation and Remote Control
A new algorithm for testing diagnosability of fuzzy discrete event systems
Information Sciences: an International Journal
Generalized state equation for Petri nets
WSEAS TRANSACTIONS on SYSTEMS
ESPAC: Enabling Security and Patient-centric Access Control for eHealth in cloud computing
International Journal of Security and Networks
A continuous-time Markov chain model and analysis for cognitive radio networks
International Journal of Communication Networks and Distributed Systems
A multilevel fault model for integrated parallel fault-tolerant systems
Concurrency and Computation: Practice & Experience
Modeling with discrete-time recurrent fuzzy systems via mixed-integer optimization
Fuzzy Sets and Systems
Robust diagnosis of discrete event systems against intermittent loss of observations
Automatica (Journal of IFAC)
Computation of the greatest simulations and bisimulations between fuzzy automata
Fuzzy Sets and Systems
On properties and state complexity of deterministic state-partition automata
TCS'12 Proceedings of the 7th IFIP TC 1/WG 202 international conference on Theoretical Computer Science
Incremental pattern matching for the efficient computation of transitive closure
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Fuzzy relation equations and subsystems of fuzzy transition systems
Knowledge-Based Systems
Generation of an adaptive simulation driven by product trajectories
Journal of Intelligent Manufacturing
Performance analysis of a rule-based SOA component for real-time applications
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Verification of initial-state opacity in security applications of discrete event systems
Information Sciences: an International Journal
Comparative analysis of related notions of opacity in centralized and coordinated architectures
Discrete Event Dynamic Systems
Eliminating concurrency bugs in multithreaded software: an approach based on control of petri nets
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
On the schedulability of real-time discrete-event systems
Proceedings of the Eleventh ACM International Conference on Embedded Software
Nondeterministic automata: Equivalence, bisimulations, and uniform relations
Information Sciences: an International Journal
Technical communique: Bisimilarity enforcing supervisory control for deterministic specifications
Automatica (Journal of IFAC)
On-line coordination: Event interaction and state communication between cooperative agents
Web Intelligence and Agent Systems
Hi-index | 0.01 |
Introduction to Discrete Event Systems is a comprehensive introduction to the field of discrete event systems, offering a breadth of coverage that makes the material accessible to readers of varied backgrounds. The book emphasizes a unified modeling framework that transcends specific application areas, linking the following topics in a coherent manner: language and automata theory, supervisory control, Petri net theory, Markov chains and queuing theory, discrete-event simulation, and concurrent estimation techniques. This edition includes recent research results pertaining to the diagnosis of discrete event systems, decentralized supervisory control, and interval-based timed automata and hybrid automata models.