Amanote Research
Register
Sign In
Counterexamples to “Liveness-Enforcing Supervision of Bounded Ordinary Petri Nets Using Partial-Order Methods”
IEEE Transactions on Automatic Control
- United States
doi 10.1109/tac.2004.831162
Full Text
Open PDF
Abstract
Available in
full text
Categories
Control
Systems Engineering
Computer Science Applications
Electrical
Electronic Engineering
Date
July 1, 2004
Authors
X. Xie
A. Giua
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Related search
Control of Safe Ordinary Petri Nets Using Unfolding
Discrete Event Dynamic Systems: Theory and Applications
Control
Electronic Engineering
Systems Engineering
Simulation
Electrical
Modeling
Time-Independent Liveness in Time Petri Nets
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Preserving Partial Order Runs in Parametric Time Petri Nets
Control Optimality for Ordinary Petri Nets
IFAC Proceedings Volumes
Symbolic Analysis of Bounded Petri Nets
IEEE Transactions on Computers
Hardware
Architecture
Mathematics
Computational Theory
Theoretical Computer Science
Software
On Deadlockability, Liveness and Reversibility in Subclasses of Weighted Petri Nets
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Optimal Sensor Selection for Ensuring Diagnosability in Labeled Bounded Petri Nets
IFAC Proceedings Volumes
Modeling and Control of Discrete-Event Systems With Partial Non-Determinism Using Petri Nets
Acta Polytechnica Hungarica
Engineering
Multidisciplinary
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
